七树合一定理 [seven-trees-in-one]