"Demostración:" Basta con (a) premultiplicar por a o (b) posmultiplicar por a.