Four-color problem - Ore, Oystein (1967)