Sean a,a, b, b enteros (o elementos de Z), y "m" un natural, entonces: