Description: The binomial coefficient " 0 choose K " is 0 for a positive integer K. Note that ( 0 _C 0 ) = 1 (see bcn0 ). (Contributed by Alexander van der Vekens, 1-Jan-2018)
Ref | Expression | ||
---|---|---|---|
Assertion | bc0k |
Step | Hyp | Ref | Expression |
---|---|---|---|
1 | 0nn0 | ||
2 | nnz | ||
3 | nngt0 | ||
4 | 3 | olcd | |
5 | bcval4 | ||
6 | 1 2 4 5 | mp3an2i |