theorem Th20: :: CATALAN1:20

for n being Nat st n > 0 holds
Catalan n > 0