我已经发现了一个绝妙的证明，可惜token不够。

——费马。 ​