Bertrand–Diguet–Puiseux theorem — theorem