Es evidente que si es igual a "R" debe incluir a 1; recíprocamente, si incluye a 1 debe incluir a 1"r" = "r" para cualquier "r" ∈ "R", y por lo tanto debe contener a "R".