Pappus of Alexandria
有限射影平面においてデザルグの定理がパップスの定理を含むという純粋に幾何学的な主張の、しかし唯一知られている証明は、斜体に成分を持つ座標をとってウェダーバーンの定理（有限可除環は必ず可換体である）を用いるという代数的な方法によってなされる（逆にパップスの定理がデザルグの定理を含むことは、（有限とは限らない）任意の射影平面において真であり、しかもこれは幾何学的に証明することができる）。