
theorem
  Catalan 0 = 0;
