Abstract
A new proof is given of a certain conjecture due to Feynman. This conjecture relates graphs and paths on a lattice and was first proved by Sherman. It is the key step in a particular method of obtaining Onsager's formula for the partition function of the two‐dimensional Ising model.