Four color theorem
= Four color theorem
{wiki}
= Four colour theorem
{synonym}
Every finite <planar graph> has <chromatic number> at most four. This stronger theorem is distinct from the elementary <five colour theorem>; the latter's <Kempe chain> proof does not prove this assertion.