1-op-alg.tex:
Almost fixed except for last part of the last proof.