[定理]
√2は無理数である。