Positive Commutator Estimate in Microlocal Form