Base Angles Theorem