Теорема об эффективном множестве в применении к достижимому множеству