Pero "12 > 0", es un número positivo y ""6 - i ≤ 0"" para todo ""i ≥ 6"", esto demuestra que existe al menos un vértice de grado 5 o menos.