 This book, proving the Mohr–Mascheroni theorem 125 years earlier than Lorenzo Mascheroni, would languish in obscurity until its rediscovery in 1928.Mohr served in Franco-Dutch War in 1672–1673, and was taken prisoner by the French.By 1673, he had published his second book, "Compendium Euclidis Curiosi".