[洋葱] 几何证法(0120)：欧几里得的证法