結果 : internal nodes in binary tree formula