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

✓ ✓