nit: Simplify the following expression and STATE the condition under which the simplification is valid: