5.22. Prove the following identities:

a) (p) (p) (p) m I ax:n 1 == ax:m+n 1- ax:m 1

b) (p) - (p) (p) m I ax:n 1- mEx . ax+m - m+nEx . ax+m+w

c) (p) (p) m I ax:n 1 == mEx . ax+m:n r

d) I (p) I"(P) E E m ax:n 1 == m ax:n 1- m x + m+n X·