of d into A such that d(fg) = (df)g + f(dg) for /, g G DS Sakai [1]