Se a e b são dois números inteiros não nulos tais que , então, necessariamente, ocorre que