Randvinklar till en halvcirkelbåge är räta vinklar