for n being Nat holds Catalan n is Integer