Seven colour theorem