¬652
¬653
¬655
¬652 ∧ ¬653 ∧ ¬655
¬( 652 ∨ 653 ∨ 655 )
RwvNTCca ⇔ ( 652 ∨ 653 ∨ 655 )
¬ ( 652 ∨ 653 ∨ 655 ) ⇔ ¬ RwvNTCca
¬RwvNTCca Q.E.D.