User:Inthar/MV3: Difference between revisions
No edit summary Tags: Mobile edit Mobile web edit |
No edit summary Tags: Mobile edit Mobile web edit |
||
Line 88: | Line 88: | ||
=== Proof of "ax by bz" (except in case xyxzxyx) === | === Proof of "ax by bz" (except in case xyxzxyx) === | ||
'''Assuming the alternating generator property''', we have two chains of generator g0 (going right). The two cases are: | '''Assuming the alternating generator property''', we have two chains of generator g0 (going right). The two cases are: | ||
O-O-...-O (m notes) | O-O-...-O (m notes) |