All straight angles are congruent