オイラーの公式
が成り立つ。これはオイラーの公式に他ならない。Duncan Sommervilleによると、オイラーの公式のこの証明はの "Geometrie der Lage"（Nürnberg, 1847）による。