verify that the function det has the following properties
1. det(... ,v,..., v,...)=0
2. det(...,cv+dw,...)=c*det(...,v,...)+d*det(...,w,...)
3. use the above properties and normalization to prove that
A= det(...,v+cw,...w,...)=det(...,v,...,w,...)
B=det(...,v,...,w,...)= (-1)*det(...,w,...,v,...) and
C= det [diag (λ1, ... , λn ) ] = Πiλi