Se a | b e b nao nulo, então:
b = a * x
onde x pertence a Z, e x nao
nulo.
Se x = 1 ou x = -1 ... |a| = |b|
Se x > 1, então b = a*x = a + (x-1)*a ...
logo b > a
Se x < 1, então b = a*x = a + (x-1)*a ... logo b
< a (b é negativo) ... logo.. -b > -a
Deste modo, todos os casos se resumem a |a| <=
|b|.
Nossa.. não gostei da solucao.. mas...ta
ai!
Achei confusa.
Abraços,
Salhab
|