For any language, an obligatorily definite identical noun phrase in the preposed main sentences of a relative construction implies the same in postposed ones.
Standardized
IF an obligatorily definite identical noun phrase occurs in the preposed main sentences of a relative construction, THEN it also occurs in postposed ones.