Title: The Shipman proof
Subjects: Graph theory, Four-color problem