すなわち、0＝2"k" +1となるようなある"k"が存在すれば、この式より"k" ＝-1/2、となるが、これは整数ではない。