Prove, using a reduction argument, that the problem of determining if two arbitrary programs halt on exactly the same inputs is unsolvable.