In this lesson, I learned that proving theorems must be​