Изменения

откуда немедленно следует доказываемое утверждение.

}}

Используя свою теорему, Гринберг построил трёхсвязный кубический плоский граф, в котором ровно одна грань имеет <tex>9</tex> рёбер, а все остальные {{---}} по <tex>5</tex> или <tex>8</tex> рёбер.

Придуманый Гринбергом в 1968 году критерий негамильтоновисти графа, позволил наконец построить контрпримеры к [http://en.wikipedia.org/wiki/Tait%27s_conjecture| гипотизе Тейта](1884г) о том, что любой 3-регулярный трёхсвязный планарный граф имеет гамильтонов цикл. Долгое время единственным контрпримером к этой гипотезе был [http://en.wikipedia.org/wiki/Tutte_graph| граф Татта](1946), негамильтоновость которого доказывалась перебором.