Für ist linear in der -ten Komponente von .
Daraus folgt
-
mit
-
Wiederholtes Anwenden dieses Schrittes auf die endlich vielen Komponenten ergibt:
-
wobei es für jedes
einmal summiert wird, was wiederum bedeutet:
-
denn die können aufgrund der Multilinearität jeweils aus den Komponenten herausgezogen werden.