对海德格尔名言的阐释
We are on the verge: Today our program proved Fermat's next-to-last theorem.