User:Inthar/MV3: Difference between revisions
Tags: Mobile edit Mobile web edit |
No edit summary Tags: Mobile edit Mobile web edit |
||
| Line 81: | Line 81: | ||
Now assume len(S) >= 8. | Now assume len(S) >= 8. | ||
PWF -> Consider mos temperings | |||
* in x, ξ (ξ = y or z), with gen g1 | |||
* in y, η (η = x or z), with gen g2 | |||
* in z, ζ (ζ = x or y), with gen g3. | |||
=== Proof of "ax by bz" (except in case xyxzxyx) === | === Proof of "ax by bz" (except in case xyxzxyx) === | ||