Vertical Angle Theorem by Shmoop