Category:Size of Finite Tree is One Less than Order