We use Humbert's reduction theory to introduce an obstruction for the unimodularity of minimal vectors of positive definite quadratic forms over totally real number fields. Using this obstruction we obtain an inequality ...