G.SRT.B: Prove theorems involving similarity.