2023

Prove the red and blue circles are tangent to each other.