АТС теорема