1-op-alg.tex

- moved Lemma 1.2 to Section 2 as Lemma 2.7
- Simplified proof of previous Prop. 1.3, now Prop. 1.2, so that it
 doesn't use previous Lemma 1.2
- adapted references to the short version which required additional
 arguments in Lemma 1.3