Bendixson–Dulac theorem — theorem