(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!
