カタカナちゃん、久しぶり
あると証明するよりもないことを証明するほうがよほど難しいって
フェルマーの定理が教えてくれたよ