The 7-cycle \(C_{7}\) is light in the family of planar graphs with minimum degree 5
scientific article; zbMATH DE number 5146840