Kernsatz: Vereinigung der euklidischen Eigenschaften der projektiven Ebene mit der nicht-euklidischen Geometrie.