JohnGilder在等车的时候拿出一摞硬币。首先这些硬币全部正面朝上，第一次翻转最上面的一个，第二次把最上面的两个一起翻转，第三次把最上面的三个硬币一起翻转，...，第n次一起翻转所有的n个硬币，第n+1次再将第一个硬币翻转，...，第m次将最上面m%n个硬币一起翻转。他发现，经过有限次的翻转后，硬币还能恢复到全部正面朝上。请编程验证这个过程。