>>624
問題が間違ってます
xを限定しないと成り立ちません
反例:40

多分0から39で成り立ちます
昔、ブルーバックスのどれかで証明を見ました