同余的性质

对于所有角度$\mathrm{一个}$，$\angle \mathrm{一个}\cong \angle \mathrm{一个}$。

一个角和它自己相等。

对于任何角度$\mathrm{一个}\text{和}B$，

如果 $\angle \mathrm{一个}\cong \angle B$，然后$\angle B\cong \angle \mathrm{一个}$。

同余的顺序并不重要。

对于任何角度$\mathrm{一个}，B，\text{和}C$，

如果 $\angle \mathrm{一个}\cong \angle B$和$\angle B\cong \angle C$,然后 $\angle \mathrm{一个}\cong \angle C$。

如果两个角都和第三个角相等，那么前两个角也相等。