一、推导论证