解はあるけど解が存在する証明はあってる不思議wwww