Adding theorems of the paper