Bi Zhengming's Proof