How to prove a cubic equation has exactly one root on an interval (IVT, Contradiction, Rolle's Thm)