P
Initializing...
Eqs. (1.4), (2.65): D absorbs η: Dη = ηD = D · Prove2Me