>>538
> 有理数の掛け算は整数の掛け算を使ってwell-definedに定義される

どういう意味???