manual solution general topology stephen willard