Seja um inteiro positivo. Define-se uma relação porMostre que é uma relação de equivalência.