Let be a m dimensional vector space over real numbers.

be a linear operator on ,

be a linear operator on p-th exterior algebra ,as defined by

.

is another linear operator, as defined by

.

.

We difine be the identity endomorphism,

be the zero endomorphism of the scalars.

how can we get the formula?