这是伪命题，现证明之.

ax+by=1

||ax|-|by||=1

假设 |ax|>；|by|，则|ax|=|by|+1

说明|ax|和|by|是相邻的两个正整数

又因为a、b是任意的正整数，当a、b为偶数时，|ax|和|by|都是偶数，不可能为相邻的两个正整数（一奇一偶）.

用数字证明，a=b=2时，2x+2y=1，没有整数解.