[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



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