law of distributivity