lols8新天赋介绍:求……的充要条件,何时须从两方面证明,何时只单方面直接证明