Full and Complete Binary Trees Binary Tree Theorems 1