Die Vorschrift daß diese beiden Angaben einander widersprechen sollen, jene Implikation eine Tautologie ergibt liefert eben die hier entsprechende Geometrie.