fix a proof and make it somewhat more robust

don't know why the order of the subgoals changed