The immutability of the same relations between the same immutable things is now the idea that shows him, that if the three angles of a triangle were once equal to two right ones, they will always be equal to two right ones.