Use circle theorem: angle in a semicircle is a right angle (#889)