求证明

sokoban

据《数字情种--埃尔德什传》
（作/译者：[ ]保罗·霍夫曼著 米绪军 章晓燕 缪卫东译 出版社：上海科技教育出版社 ）
一书的介绍，Erdos 也始终未能想明白这个问题。