https://9lib.org/document/yj7mn7n2-andkonstantyjunosza-szaniawski-adamidzik-combinatoriallemmasforpolyhedronsi-graphtheory-discussionesmathematicae.html