[obm-l] Problema

[Fernando]

Gostaria de ajuda para o seguinte problema:  1) Mostrar que,se no sistema de axiomas substituirmos a propriedade cancelativa da Multiplicação( a(diferente de 0) , se ab=ac, então b=c) pela proposição (a.b=0.Então, a=0 ou b=0),  a propriedade cancelativa da multiplicação pode ser demonstrada a partir de novo sistema de axiomas.   Atenciosamente, Fernando.