e+πが無理数なことも証明済みだっけ
約一名にとっては