Explicație pas cu pas:
o fractie aparține lui Z dacă numitorul este un divizor al numărătorul. În cazul în care numărătorul depinde de o necunoscută, nu îi cunoaștem divizorii, așa că folosim proprietățile divizibilitatii ca să scăpăm de necunoscută.