Strictly speaking, the correct reason is not the transitive property of equality since the transitive property applies to equality. In this case, it's a theorem for congruence of angles. Since that theorem is not mentioned, the best answer here is "transitive property."