This lemma makes proving simple properties about the deployed contract
state of a contract easier.