反证法证明两种活法都挺好哈