もし、(2)が成り立つならば、他の成立つ式は、
(2)のm倍です。