>>926
この無理数の証明したことで得られるものってなに?