Caros Colegas, Como provar a propriedade O_7 da página 110 do livro Fundamentos de Aritmética, de Hygino Domingues?
O_7) Se a é menor do que b, então a+1 é menor ou igual a b (a e b são números naturais) Abraços do Paulo! ========================================================================= Instru��es para entrar na lista, sair da lista e usar a lista em http://www.mat.puc-rio.br/~obmlistas/obm-l.html =========================================================================
