令 r=⌊n/3⌋r=\lfloor\sqrt{n/3}\rfloorr=⌊n/3⌋,并写成 n=3r2+hn=3r^2+hn=3r2+h,其中 0≤h<6r+30\le h<6r+30≤h<6r+3。当 n=2n=2n=2 时假设为空而结论显然;否则 r≥1r\ge1r≥1。