G-SRT.B: Prove theorems involving similarity.