Možda sam i pogrešio, ali vaš kontraprimer ne odgovara uslovu zadatka. Pošto je n prirodan broj razlomak

ne može imati vrednost

.
Po mojoj proceni:
Neka su

prirodni brojevi i neka važi

tada pod uslovom da je

i

, tj. brojevi p i q su uzajamno prosti, razlomak

nije skrativ ako i samo ako su brojevi a i b uzajamno prosti, tj. ako razlomak

nije skrativ.
Ne bih trenutno znao da to dokažem, ali mi intuitivno deluje tačno, to mi je ideja u ovom rešenju. Mada opet kažem, možda sam i pogrešio.