A Commutativity Theorem for Normal Operators.