1-op-alg.tex:
- Fixed from beginning till Prop. 1.9