Dimostrazione.
) Vera per (
3
).
) Siano
e
congruenti, cioè
Fissiamo una base
per
e sia
una base tale che
.
Sia
la forma lineare tale che
(da questo segue anche che
è univocamente determinata), per la (
3
) possiamo scrivere:
c.v.d.