It was proved in 1968 by computer scientist Daniel Richardson of the University of Bath.
Richardson's theorem