Ein Winkel, der zu seinem Nebenwinkel kongruent (siehe kongruente Punktmengen) ist, ist ein rechter Winkel.