>>581も自然数を代入すればできます

全ての自然数を代入できることが、できれば、
ですね。