[obm-l] Demostração de propriedade |a|<=|b|

[Bruna Carvalho]

Se a,b pertencem conjunto Z, e a|b e b não nulo então |a|<=|b|