Sejam $x$ e $y$ números inteiros positivos tais que $0