HSG.SRT.B: Prove theorems involving similarity