SMS: Теоремы существования