Principal Symbol Formula for a Commutator of Pseudodifferential Operators