Let K be a commutative ring with identity. Define a function D on 3×3 matrices over K by the rule
D(A)=A11det[A22A32A23A33]−A12det[A21A31A23A33]+A13det[A21A31A22A32].
Show that D is alternating and 3-linear as a function of the columns of A.