倍数法則
確定したステートメントはなさそう →
倍数法則の存在に関する必要十分条件