Update Ex_4.2_atofwitheE.rst