G-SRT.B. Prove theorems involving similarity