ABSTRACT
Now I claim that Pi.0.2 = £i\£ip2:i and that p2:0.i = JUNJ^Pw, which will clearly give (4). By the symmetry in the notation, I only have to establish the first of these latter claims. This comes from the following lines:
This completes the demonstration of the reversal equations.
