無理数と有理数の積が無理数になる
もしくはならないことを証明するにはどうすればいいのですか??