>>233(m´は整数) は仮定して、その先で証明しました