Numeri di Catalan: dimostrazione