Can you explain your proof further?

You could alternatively note that if that and thus

Remark:Really the operative thing here is that the determinant of a matrix over can really be thought of as a -linear form

Where we've interpreted

and thus if we see that the interpretation of your question is really to show that but this is apparent by the -linearity.