Generator-offset property: Difference between revisions
m →Proof |
m →Proof |
||
| Line 125: | Line 125: | ||
(Note: We say “assume” as shorthand for either “assume without loss of generality” or “assume after excluding other possibilities”.) | (Note: We say “assume” as shorthand for either “assume without loss of generality” or “assume after excluding other possibilities”.) | ||
Assume that S<sub>2</sub>'s generator is also a k-step, and that Σ<sub>2</sub>'s I is located at index n. Then Σ<sub>1</sub> and Σ<sub>2</sub> are the same mos pattern (up to knowing the | Assume that S<sub>2</sub>'s generator is also a k-step, and that Σ<sub>2</sub>'s I is located at index n. Then Σ<sub>1</sub> and Σ<sub>2</sub> are the same mos pattern (up to knowing which step size is the bigger one) and even the same mode: | ||
S<sub>1</sub>: L ... L s | S<sub>1</sub>: L ... L s | ||