Egy $\left(m+2\right)\times \left(n+2\right)$-es táblázatnak levágjuk a négy darab $1\times 1$ méretű ,,sarkát''. Az így kapott csonka táblázat első és utolsó sorának, illetve első és utolsó oszlopának minden mezőjére egy-egy (tetszőleges) valós számot írunk.
Igazoljuk, hogy a táblázat maradék $m\times n$-es ,,belseje'' egyértelműen kitölthető valós számokkal úgy, hogy minden ide eső szám megegyezzen a négy szomszédjának átlagával.