[seqfan] A008486 and the four color theorem

[Jaume Oliver i Lafont]

Dear all,

http://research.att.com/~njas/sequences/A008486
contains a short proof by Forisek for a conjecture on planar graphs by
Kamenetsky.

Does it lead to a simple proof for the four color theorem?
(See also http://research.att.com/~njas/sequences/A158411)

Jaume