求证：一棵有 $n+1$ 个叶子节点的满二叉树必然有 $n$ 个非叶子节点。

这里的满二叉树使用国际定义，即如果一棵二叉树的节点要么是叶子节点，要么有两个子节点，则其为满二叉树。