Positivity and Principal Symbol of the Normal Square of a Pseudodifferential Operator