theorem Th12: :: CATALAN1:12

Catalan 2 = 1