Теорема светофора.