Versionshinweis V2-05.06.

Eine äquivalente Bedingung wurde in Korollar 1.24 als (iv) hinzugefügt, die später nützlich wird.