Nevezzük az egymás fölött lévő mezők együttesét oszlopnak. Legyen a bogár induláskor a 0. oszlopban. Tőle jobbra legyenek a $+\mathrm{1.,}+\mathrm{2.,}\text{...}\mathrm{,}$ tőle balra pedig a $-\mathrm{1.,}-\mathrm{2.,}\text{...}$ oszlopok. Megmutatjuk, hogy a csodabogár pontosan azokra a mezőkre tud eljutni, amelyek páros sorszámú oszlopban vannak.
Mivel a bogár jobbra kettőt, balra pedig négyet, azaz vízszintes irányban csak páros számú mezőt tud lépni, azért páratlan sorszámú oszlopba nem juthat el.