Four Color Theorem (extra footage) - Numberphile