User blog:Godly Bear/Proving triangles similar and proving parallelograms