⁹For strict equality it is necessary that the ground state is not degenerate as it happens in the case of spontaneous symmetry breaking.