分配法則って何らかの公理を以て正当化できるのかな