No.12870436 ViewReplyOriginalReport
Can the four color theorem be proved using the valency of dual complexes?