Single file program proving Monty Hall or Cadillac Problem