真二叉树重构(Proper