[math-fun] Proof on Catalan Numbers