Properties of binary trees (numerical aspects)

Binary trees have the following properties ：TODO( Superscripts and subscripts )
nature 1： The second fork is the tree i The maximum number of nodes on the layer is  2{i-1} (i≥1).
nature 2： Depth is k At most, the binary tree of 2{k}-1 Nodes (k≥1).
nature 3： contain n The height of a binary tree with nodes is at least log2 (n+1).
nature 4： In any binary tree , If the number of terminal nodes is n0, Degree is 2 The node number of is n2, be n0=n2+1.