約分できるかどうかなんて
当然ユークリッドの互除法を使ってやると思うけど。
そもそも、有理数を分子・分母の組で表す場合、
ユークリッドの互除法使って常に規約にしない?