theorem Th11: :: CATALAN1:11

Catalan 1 = 1