人工知能は一応答えを出すかもしれないけど、証明できません。ちゃんちゃんで終わるな。