Phase Transition in a Lattice Model of Superconductivity