You can write a simulation that does this (as MIT and several others have) and Monte Carlo it. You will find that the logic is 100% correct. The prize MUST be either the door you picked initially or the one you can switch to. There is a 99% chance it's not the one you picked.
