  We prove the strong super-additivity of the entanglement of formation for
stabilizer pure states, and the set of mixed states which minimize their
average entropy of entanglement as a mixture of stabilizer pure states sharing
the same stabilizer group up to phases. The implications of the result on the
additivity of the Holevo capacity of a quantum channel transmitting stabilizer
states with Pauli noise is discussed.
