could the four-colour theorem be applied to a many-santas scenario so no naughty child up late on christmas eve sees more than one st nick?