In this and subsequent articles, we intend to explore Rosa's conjectur
e that every tree is graceful [1]. We define the concept of joint sum
of graceful trees and study its operational properties. We shall prove
the gracefulness of a certain family of trees.