Wir haben zunächst
Wir ziehen das a 1 {\displaystyle {}a_{1}} -fache dieses Ausdrucks vom ( a 2 b 1 − a 1 b 2 ) {\displaystyle {}(a_{2}b_{1}-a_{1}b_{2})} -fachen von F 1 {\displaystyle {}F_{1}} ab und erhalten
Indem wir dies wieder über Kreuz multiplizieren erhalten wir