Maybe we can do as follows. Given a linear transformation of into and a vector in , define to be a map on satisfying for all . It is clear that is a linear transformation too; denote it as . Then if both and are differentiable, it can be proved by definition that , a very familiar form. But I'm not sure if it is correct, or there is any other better results. Any comment or suggestion is welcomed.