Adding theorems for existence of groups