nの帰納法によって二項定理を証明します。パスカルの恒等式が帰納的ステップのどこで使用されるかを明示的に識別します。