If the shared state σ is separable, it is clear that any local operation by Alice will leave Bob's system intact.
Якщо спільний стан σ сепарабельний, зрозуміло, що будь-яка локальна дія Аліси не вприлен на систему Боба.