Percy John Heawood already proved the 5 color theorem in 1890, so the wizard is correct.