Im übrigen ist es ein völlig legitimes Beweisverfahren, die zu beweisende Aussage durch Äquivalenzumformungen zunächst in eine besser zu handhabende Form zu bringen. Bei etwas intensiverer Beschäftigung mit dem Thema "Mathematischer Beweis" wirst Du feststellen, daß solche Äquivalenzumformungen sogar das Wesen eines Beweises ausmachen. Selbst wenn also die hier in Rede stehende Frage nicht diejenige wäre, um die es sich tatsächlich handelt, sondern dieser "nur" logisch äquivalent wäre, wäre die in Rede stehende Beantwortung der Frage völlig legitim und ausreichend. (Hint: Beispielsweise beim indirekten Beweis wird gar nicht die Wahrheit der zu beweisenden Aussage nachgewiesen, sondern die Falschheit ihres logischen Gegenteils (siehe auch: Kontradiktion), was wegen der logischen Äquivalenz aber trotzdem als zulässiger Beweis gilt.) -- M.ottenbruch 13:45, 30. Mai 2009 (CEST)