分配法則が成り立つことを前提としている。