theorem Th14: :: CATALAN1:14

for k being Nat holds Catalan (k + 1) = ((2 * k) !) / ((k !) * ((k + 1) !))