"improved" theorem statement 1.1