Diesen Beweis erhält man durch gezielte Umformung der Aussagen bzw. durch logisches Schließen (Implikation).
