theorem :: CATALAN1:10

Catalan 0 = 0 ;