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