Zero Choose Zero/Proof 2
Theorem
$\dbinom 0 0 = 1$
Proof
By
Binomial Coefficient with Zero
:
$\forall r \in \R: \dbinom r 0 = 1$
Hence directly:
$\dbinom 0 0 = 1$
$\blacksquare$