Se a ∈ Z , b ∈ Z * e a/b ∈ (Q - Z ) , então b ≠ 1
traduzindo:
se "a" pertence aos inteiros e "b" pertence aos inteiros sem o zero e a/b pertence à diferença dos racionais com os inteiros (ou seja, só sobram números fracionários) então b é diferente de 1.
Está certo, pois para que o resultado seja sempre uma fração o denominador tem que ser diferente de 1
Apenas um complemento:
(N) Naturais = Inteiros positivos (0,1,2,3...);
(Z) Inteiros = Inteiros positivos e negativos (-2,-1,0,1,2...);
(Q) Racionais = Naturais, inteiros, frações e dízimas periódicas;
(I) Irracionais = Raízes não inteiras e dízimas não periódicas;
(R) Reais = Todos os números ↑