The supplement of an obtuse angle is always an acute angle