Loading Open Internet
    Graph theory proof of a sharp odd-girth bound for edge-bipartisation in non-3-colourable graphs