Exterior angle of a right triangle