This follows from properties 8 and 10 (it is a general property of multilinear alternating maps).
Αυτό είναι επακόλουθο των ιδιοτήτων 7 και 8 (γενική ιδιότητα των πολυγραμμικών εναλλασσόμενων απεικονίσεων).