证明√2是无理数

NoSuchKey