We assert that for any triangle ABC,
a = b cos C + c cos B
By case (i), r ⇒ q is proved By case (ii), s ⇒ q is proved By case (iii), t ⇒ q is proved Hence, from the proof by cases, (r  ∨  s  ∨  t) ⇒ q is proved, i