Update Problem7.lhs