A necessary condition for the existence of a circuit of any specified length

A necessary condition for the existence of a circuit of any specified length in a connected planar graph is developed and several applications of this result are given. This necessary condition is a direct generalization of the Kosyrev-Grinberg condition for the existence of a Hamiltonian circuit in a planar graph.