叙述并证明欧拉方