Hilbert's Foundations: Angle Congruence Is an Equivalence Relation

Equivalence relations satisfy the following 3 properties.

1. $a \implies a$

2. $a \implies b \iff b \implies a$

3 $a \implies b$ and $b \implies c$ means $c \implies a$

Angle congruence obviously is an equivalence relation.