Dimostrazione.
Le applicazioni
e
sono lineari da
in
, per definizione di forme bilineari, quindi sono in
.
Per costruzione abbiamo che
Quindi avremo:
;
dove
e
;
poiché
ha valori in
avremo che
.
c.v.d.