As I already said, in Principia Russell proves a metatheorem to the effect that a single description (or, strictly speaking, a single occurrence of a description) can be moved in or out if the existence and uniqueness conditions are fulfilled.