  A formula for the partial trace of a full symmetrizer is obtained. The
formula is used to provide an inductive proof of the well-known formula for the
dimension of a full symmetry class of tensors.
