Update chp4/25.rst