[math-fun] Missing Catalan identity