62 不等量基本推論的應用