Update Ex_1.6_verifyeof.rst