General theory of phase diagrams in quantum lattice models (due to Borgs, Kotecký and Ueltschi) is applied to a proof of existence of transitions between lamellar and planar states in hubbard model.
