You only need to prove that the other program is possible, you don't need to actually write it (or even know how to write it). In other words, such a proof can

You only need to prove that the other program is possible, you don't need to actually write it (or even know how to write it). In other words, such a proof can even be non-constructive.