prove的练习