Prove geometric theorems

Standards derived from the same national standard