formula_1個のノードを持つ異なった二分木の個数はformula_2、即ちformula_1番目のカタラン数である(構造が同じ木は同一のものと見なす)。