我们即将到来:今天,我们的程序证明了费马的倒数第二个定理。
翻译:仰观天上日月星辰,俯察地面山川原野,因此能够知晓幽隐和显明的各种事理。