我们即将到来:今天,我们的程序证明了费马的倒数第二个定理。
【译文】如果不明事理,那么动就不知道往哪里去;如果不动,那么即使明白事理也没有用处。