Ja, das kann man so oder so definieren, und der Satz gilt natürlich auch für den Spezialfall. Aber wir wollen es ja möglichst unmissverständlich und in der allgemeinen Form. -- 13:00, 5. Nov. 2013 (CET)