Exterior angle triangle theorem