e^2が無理数であることを自力で証明出来る高校生なんておらんやろ