Rooted tree and binary tree Theorem 5.19: A full binary tree with t leaves contains i=t-1 internal vertices.
Rooted tree and binary tree