Tétel:
∀ x∈R: x*0=0
Bizonyítás:
∀ x∈R: x*0=x*(0+0)=x*0+x*0
⇒
∀ x∈R: x*0=x*0+x*0
⇒
∀ x∈R: x*0+(-(x*0))=x*0+x*0+(-(x*0))
⇒
∀ x∈R: x*0+(-(x*0))=x*0+(-(x*0))+x*0
⇒
∀ x∈R: x*0+(-(x*0))=(x*0+(-(x*0)))+x*0
⇒
∀ x∈R: 0=0+x*0
⇒
∀ x∈R: 0=x*0
⇔
∀ x∈R: x*0=0
Tétel:
∀ x∈R: x*0=0
Bizonyítás:
∀ x∈R: x*0=x*(0+0)=x*0+x*0
⇒
∀ x∈R: x*0=x*0+x*0
⇒
∀ x∈R: x*0+(-(x*0))=x*0+x*0+(-(x*0))
⇒
∀ x∈R: x*0+(-(x*0))=x*0+(-(x*0))+x*0
⇒
∀ x∈R: x*0+(-(x*0))=(x*0+(-(x*0)))+x*0
⇒
∀ x∈R: 0=0+x*0
⇒
∀ x∈R: 0=x*0
⇔
∀ x∈R: x*0=0