1453

Prove the blue circle is tangent to the hypotenuse of the yellow right triangle.