なんでどの宇宙人も数学の未解決問題の証明を手土産に持って来ないのだ