In this Computer Algebra System (CAS) activity, students use CAS to prove a theorem regarding cubic functions, their zeros [roots], and tangents to the curves.