  We show that the different ways of deriving the Heavy Quark Effective Theory
(HQET) lead to equivalent theories. The equivalence can be established through
a careful redefinition of the field variables. We demonstrate the equivalence
to order ${1 \over m^5}$ in the presence of a constant electric field.
