sheaf theory: The induced map on stalks is well defined (Vakil 2.C exercise)