M.GHS.SPT: Similarity, Proof, and Trigonometry