純粋な初等算術のみでは証明出来ずに、解析学を援用しないと解決できないという可能性はあるのかね?