差分作用素は線型作用素であり、上で述べた特別なライプニッツ則