Έχετε απόδειξη;

Αποδείξτε τα παρακάτω (προφανείς) ιδιότητες (λήμματα) χρησιμοποιώντας τις εξής δομικές σχέσεις (αξιώματα) αντιμεταθετική, προσεταιριστική, επιμεριστική, ουδέτερο στοιχείο ως προς την πρόσθεση και πολ/σμο, αντίθετοι και αντίστροφοι αριθμοί, πρόσθεση και πολ/σμού του ίδιου αριθμού και στα δύο μέλη μιας ισότητας.

Ι) $0\neq 1$

ΙΙ) Το -α  είναι μοναδικό

ΙΙΙ) Αν $a\neq 0$ τότε ο $a^{-1}$ είναι μοναδικό

IV) -α = (-1)α

V) (-1) (-1) = 1

VI) (-α)β = α(-β) = - αβ και (-α) (-β) = αβ

VII) $a*0=0$

VIII) $ab=0\Leftrightarrow a=0$ ή $b=0$  (δείτε μια απόδειξη εδώ)

Αναμένω τα σχόλια και τις αποδείξεις σας.