I can use proof by construction, I can use direct proof format to prove geometric theorems September 23, 2025