2093

The blue angles are complementary. Prove the red lines are perpendicular.