I've looked into a bunch of books, but most of them just give a result.
I suppose cobasis can be used in the proof by finding a contradiction.
Since cocircuits are also circuit. So they should also follow the axioms.
However, it is difficult to find the relationship among circuit, basis and cocircuit,
to connect to the original graph.
Hope someone could give me a hint or some advices.