theorem Th13: :: CATALAN1:13

for n being Nat holds Catalan n is Integer