Generator-offset property: Difference between revisions
m →Proof |
|||
| Line 14: | Line 14: | ||
==== Proof ==== | ==== Proof ==== | ||
Assuming both AG and unconditionally MV3, we have two chains of generator g0 (going right). The two cases are: | Assuming both AG and unconditionally MV3, we have two chains of generator g0 (going right). The two cases are: | ||
CASE 1: EVEN CARDINALITY | |||
O-O-...-O (m notes) | O-O-...-O (m notes) | ||
O-O-...-O (m notes) | O-O-...-O (m notes) | ||
and | and | ||
CASE 2: ODD CARDINALITY | |||
O-O-O-...-O (m notes) | O-O-O-...-O (m notes) | ||
O-O-...-O (m-1 notes). | O-O-...-O (m-1 notes). | ||