Neither property has been used. Only addition has been used to simplify the expression.