theorem Th18: :: CATALAN1:18

for n being Nat holds Catalan n is Element of NAT