练习题 菱形证明