解析的に解けない証明はあるのかね?(´・ω・`)