GEO-G.SRT.5.b: Prove relationships in geometric figures.