Das wäre theoretisch gleichwertig, entspricht aber nicht der üblichen Beweisstrategie mit zwei separaten Beweisschritten. Beim Ableitungsoperator werden nämlich üblicherweise alle separat bewiesenen Aussagen in einer Liste aufgelistet. Sie beschreibt die Menge der zu zeigenden Voraussetzungen. In einem extra Beweisschritt könnte man dann die Verknüpfung mit "und" auch beweisen, aber das will man ja hier gerade nicht. Daher ist die jetzige Version adäquater.-- Wilfried Neumaier 10:09, 1. Jul. 2011 (CEST)