介绍First Proof概念，感谢团队

“First Proof” (http://firstproof.org) 是一个非常酷的概念和方法。祝贺并感谢组建它的团队！