Identify the property or rule that justifies each step in the calculation.