推导是怎么推的，口述步骤？