O que contradiz nossa hipótese e prova por contradição que o inverso aditivo da propriedade (P3) é único.
O que contradiz nossa hipótese e prova por contradição que o elemento neutro da multiplicação da propriedade (P6) é único.
O que contradiz nossa hipótese e prova por contradição que o elemento inverso da multiplicação da propriedade (P7) é único.
![]() |
|||
![]() |
|||
![]() |
|||
No primeiro caso,
Então:
No segundo caso,
Porém,
A união dos dois casos nos leva a resposta:
![]() |
(48) |
Prova dos Lemas
,
![]() |
||
![]() |