>>8
素数pについて√pが無理数であること