A non-constructive proof of the Four Colour Theorem - eviltoast