m=yc+zbm=yc+zbm=yc+zb を n=xbc+amn=xbc+amn=xbc+am に代入すれば n=xbc+yca+zabn=xbc+yca+zabn=xbc+yca+zab。従ってすべての n>Nn>Nn>N は表せ、ステップ2で NNN は表せないから、NNN が最大の非表現整数である。