Burada yönler ters.
Doğrudan ispat yapmak istiyorsan, bilinenler/kabul edilenlerden iddia edilen önerme çıkarılmalı.
(3. satırda 4 e nasıl geçildi? 4. satırdan 5 e nasıl geçildi?)
İddia edilen önermeden (EK:) doğru bir sonuç çıkarmak o önermeyi ispatlamaz (p⇒q doğru ve q doğru ise p doğru olmak zorunda değil.)
Alttaki eşitlikten başlayıp üstteki eşitliği (iddayı) ispatlamaya çalış. (veya her adımda ⇔ olsa da olur.)