第一步很好想；为了简化计算，第二步确实花了我不少时间。贴出过程后，发现和 虎子 网友也有一个很好的证法。向诸位学习！
--
FROM 202.100.240.*