Opis konstrukcji:
1. prosta p _L a
2. p: {p,a>ep
3. k: anp
4. k0: kład k' na ns
5. a°: kład a' na 7ts
6. <p: < k°a°
13