题目，写了一半的题解

求当 $x>y$ 时此算法的正确性证明（或证伪，说明数据太水）。