Add an example and a theorem to check the variable scope