直前に自分で定義した safe_modulo を使う。