猜想。因为用到的工具比较“初等”，所以证明非常繁复，没有高阶工具的降维打击，全是技巧。

有数学家猜想所有数学命题都可以用初等方法证明，甚至是黎曼猜想、哥德巴赫猜想这些很难很难的问题，不过需要的步骤非常多，可能多达几百万、几千万个步骤，已经超出了人类的能力。