bukti (a): Kami akan menggunakan induksi pada jumlah simpul internal,

I. Misalkan S adalah himpunan semua bilangan bulat I ≥ 0 sehingga jika

T adalah pohon biner penuh dengan I simpul internal maka T memiliki I
+ 1 simpul daun.
Untuk kasus dasar, jika I = 0 maka pohon harus hanya terdiri dari simpul
akar, tidak memiliki anak karena pohon itu penuh. Karenanya ada 1
simpul daun, dan jadi 0
S.. Karenanya ada 1 simpul daun, dan 0
0, setiap I dari 0 hingga K adalah dalam S. Yaitu, jika T adalah a

Sekarang anggaplah bahwa untuk beberapa bilangan bulat K

pohon biner nonempty dengan I node internal, di mana 0 ≤ I ≤ K, maka
T memiliki I + 1 node daun.
Biarkan T menjadi pohon biner penuh dengan K + 1 node internal. Maka
akar T memiliki dua subtree L dan R;
misalkan L dan R masing-masing memiliki node internal IL dan IR.
Perhatikan bahwa L atau R tidak boleh kosong,
dan bahwa setiap simpul internal di L dan R pasti merupakan simpul
internal di T, dan T memilikinya
simpul internal tambahan (root), dan K + 1 = IL + IR + 1.
Sekarang, dengan hipotesis induksi, L harus memiliki daun IL + 1 dan R
harus memiliki daun IR + 1. Sejak
setiap daun di T juga harus daun di L atau R, T harus memiliki daun IL
+ IR + 2.
S.Oleh karena itu, dengan melakukan sedikit aljabar, T harus memiliki
simpul daun K + 2 dan karenanya K + 1
).oleh Mathematical Induction, S = [0,