Four colour theorem - Fritsch, Rudolf (1998)