theorem Th24: :: CATALAN2:24

for n being Nat holds card (Domin_0 (n,0)) = 1