(related to Corollary: The supplemental angle of a right angle is another right angle.)

This follows immediately from the definition of supplemental angles and a right angle.

Thank you to the contributors under CC BY-SA 4.0!