x＞y x-y=a∧2-2a+3=a∧2-2a+1+2=﹙a-1﹚∧2﹢2≥2 ∴x-y＞0 ∴x＞y