A general approach to quantum lattice models is illustrated by a proof of existence of an antiferromagnetic order for asymmetric Hubbard model.
