Azt a bizonyos formulát (utolsó formula a 159-es üzenetemben) Bertrand és Puiseux bizonyította 1848-ban. Közismert. A részletes bizonyítását megtalálod a Spivak: A comprehensive introduction to differential geometry, Volume 2, 3rd edition könyvben a 147. oldalon. A könyvet magát letöltheted innen. A djvu formátumú dokumentumok olvasására pedig ajánlom a WinDjView programot.