(P ⇒ Q) ≡ ¬(P ∧ (¬Q))　：　背理法の原理
P ≡ 「三角形ABC」
Q ≡ 「(sin A)^3, (sin B)^3, (sin C)^3 の少なくとも1つは S より小さい」
¬Q ≡ 「(sin A)^3, (sin B)^3, (sin C)^3 は全て S 以上」
P ∧ (¬Q) は>>88より偽、従って P ⇒ Q は真