In a gauge theory at nonzero temperature the eigenvalues of the Wilson
line form a set of gauge invariant observables. By constructing the c
orresponding partition function for the phases of these eigenvalues, w
e prove that the trivial vacuum, where the phases vanish, is a minimum
of the free energy.