Der Beweis antwortet im ersten Fall auf eine Frage & die
beiden Alternativen der Frage können natürlich beschrieben werden.