start writing proof of distributivity