:Draft:Lazebnik's theorem