ルート6が無理数であることはどのようにして証明すればいいのでしょうか。