Z ≡ Z×Z, así: