@ComeIntoPower 投稿 支配树

update：优化证明格式，给代码加上注释