A Criterion of Non‐Vanishing Differential of a Smooth Map