Neste exercício você deverá admitir como conhecidas apenas as propriedades a , a , , a , e . Supondo , reais quaisquer, prove:

(Anulamento do produto)

ou

Vamos lá, supondo que vamos provar que ou .

Se teremos também que , vamos agora multiplicar os dois membros de por :

Agora vamos usar a propriedade associativa :

Lembrando pela propriedade da existência do inverso que resulta em .

E se tivermos , raciocinando da mesma forma chegamos a .

Fica provado então que ou .