中国水果要走出去,首先要解决的是标准化问题。
Theorems are eternal; their proofs are ephemeral.