Blankenship–Oporowski conjecture