Lösung von Aufg. 10.4 S

Vorschlag Snooth:

Satz VII.6 enthält eine Äquivalenz. Diese bildet sich aus den zwei Implikationen der Sätze VII.6a und VII.6b.
Wenn man nun schon diese zwei Implikationen bewiesen hat, dann hat man auch automatisch die Äquvialenz, also Satz VII.6 bewiesen. (Satz VII.6 sagt ja nichts neues mehr aus.)

--Snooth 22:17, 29. Jun. 2012 (CEST)