あの補助定理は御詫び致さない
fact1: あの補助定理は憂い fact2: もし仮にあの補助定理は憂いとしたら「それは御詫び致さない」ということは事実と異ならない
$facts$ = fact1: あの補助定理は憂い fact2: もし仮にあの補助定理は憂いとしたら「それは御詫び致さない」ということは事実と異ならない ; $hypothesis$ = あの補助定理は御詫び致さない ; $proof$ = 
事実1: あの補助定理は憂い
事実2: もし仮にあの補助定理は憂いとしたら「それは御詫び致さない」ということは事実と異ならない

仮説: あの補助定理は御詫び致さない