没有证明，因为这个结论压根就是错误的，只是这题数据范围恰好是个二分图而已。可以随便写个暴力，随便开大一下数据范围，很容易发现有很多三元环。