[konschubert]

Shouldn’t that be clear from considering angle properties?

EDIT: Yes, I think it’s clear considering that the sum of the non-rectangular angles in a triangle is 90 degrees.