程序测试可以用来显示错误的存在,但绝不能显示它们的不存在!
The arithmetic of modular forms is a key to understanding the deeper structures of number theory.
A book is a mirror: if an ape looks into it, an apostle is unlikely to look out.
我希望我的音乐能让人们感觉良好并充满力量。