欧氏几何:长方形面积公式是定理还是公设?