Generalization of a Pohst's inequality