The four color theorem / - Thomas, Joseph Miller, (1971)