A Commutativity Theorem for Normal Operators | Synapse