theorem Th26: :: CATALAN2:26

for m, n being Nat st m <= n holds
n choose m > 0