non mi è del tutto chiara la logica della dimostrazione del teorema di esistenza e unicità del determinante per i casi n=2 e n=3;

se ho capito bene i passi della dimostrazione sono i seguenti:

1) dapprima si ipotizza l’esistenza della funzione determinante

2) applicando le proprietà basic si arriva ad una espressione del determinante (dubbio  <!-- s:?: --><img src="{SMILIES_PATH}/icon_question.gif" alt=":?:" title="Question" /><!-- s:?: --> : questa è la prova che, se la funzione esiste, essa è unica?)

3) si verifica che tale espressione soddisfa le proprietà basic (dubbio  <!-- s:?: --><img src="{SMILIES_PATH}/icon_question.gif" alt=":?:" title="Question" /><!-- s:?: --> : ma questo non è già implicito nel modo in cui ho derivato l’espressione?)