wir haben zur "Vereinfachung" nur ein paar Quantoren weggelassen. Diese Schlussregel ist aber ein wenig unsinnig, weil die zweite Voraussetzung gar nicht benötigt wird. -- Daniel5Ko 17:59, 30. Sep. 2011 (CEST)