>>443
a/bが整数の場合でc=1の場合の証明に誤りがありました