  In the previous research by Grassl, Huber and Winter, they proved a theorem
which can make entanglement-assisted quantum error-correcting codes (EAQECC)
from general quantum error-correcting codes (QECC). In this paper, we prove
that the shortened EAQECC is a stabilizer code if the original EAQECC is a
stabilizer code.
