Para todo par ("a", "b") de enteros coprimos, Z es isomorfo al producto de anillos Z×Z.