The subdivision graph of a graceful tree is a graceful tree. - M. Burzio; G. Ferrarese (Discret. Math., 1998)