Five Color Theorem/Historical Note

Historical Note on Five Color Theorem
The Five Color Theorem is not the strongest result possible.

It was proved by in $1890$.

In the same year he showed a flaw in 's supposed $1879$ proof of the Four Color Theorem which was not mended for almost another $100$ years.

It was not until $1976$ that and  demonstrated that four colors suffice.

Their proof relies heavily on computers and for the moment is not to be found on.