For the article to be self contained, we describe the problems and the chain of reductions that appear in the proof of Theorem REF . Each problem is followed by it's index number in [1]}. The reduction are all from  [2]}, apart from the last one which is from [3]} and its location is stated in details below.
