In both derivations the resulting string must end with a sequence for same The reverse of this sequence must be a solution to the PCP, because the string that precede in one case is and in the other case. Since the string derived in both cases are identical, the sequence

must be a solution to the PCP.

Hence the proof.