Field/General distributivity law/Exercise