小明去年5岁,他祖父今年72岁,几年后,小明的年龄是他祖父年龄的4分之一?