逆に条件式(m0)を満たす2つの組