Generator-offset property: Difference between revisions
| Line 142: | Line 142: | ||
Λ<sub>2</sub> is λβ μβ’, 2 ≤ μ ≤ ceil(n/2). | Λ<sub>2</sub> is λβ μβ’, 2 ≤ μ ≤ ceil(n/2). | ||
Λ<sub>3</sub> is a ( | Λ<sub>3</sub> is a (λ ± 1)β (μ ∓ 1)β’ mos. | ||
Since neither are multimosses, and at least one of μ and ( | Since neither are multimosses, and at least one of μ and (μ ∓ 1) are even, it is now immediate that n is odd. | ||
We can assume that the first k-step in Σ is Q: | We can assume that the first k-step in Σ is Q: | ||