Die Richtungen ( 1 ) ⇒ ( 2 ) {\displaystyle {}(1)\Rightarrow (2)} und ( 2 ) ⇒ ( 3 ) {\displaystyle {}(2)\Rightarrow (3)} sind Einschränkungen und ( 3 ) ⇒ ( 1 ) {\displaystyle {}(3)\Rightarrow (1)} folgt aus Fakt.