We do exactly the same reduction from PCP and one direction is easy, if there's no solution then we just showed that the union of the compliment languages is Sigma Star and that's surely a regular language. 