More strongly, by the same argument, if a maximal planar graph has a cycle of length k, it has cycles of all smaller lengths.
Более строго, по тем же самым причинам, если максимальный планарный граф имеет цикл длины k {\displaystyle k} , он имеет циклы всех меньших длин.