Some rigorous results for the vertex model in statistical mechanics