A first-order phase transition in a three-dimensional vertex model

For a specific three-dimensional vertex model, it is proven that it will show a first-order phase transition. The critical temperature is given in terms of the energy of some local vertex configurations. The approach used is similar to the Nagle approach. Some classes of compounds are considered which may be related to this model.