从投资乘数公式出发,推导出对外贸易乘数公式的是( )。