デカルト座標空間はユークリッド幾何学理論のモデルである