prodivo: 微分 [1222; =pro+divo]