formula_12をformula_13の導出節とすると、前件肯定は以下の導出と同じである。