Generator-offset property: Difference between revisions
m →Proof: redundant sentence |
|||
| Line 172: | Line 172: | ||
We need only consider stacks up to f-many k-steps. Either: | We need only consider stacks up to f-many k-steps. Either: | ||
# the stack has only preimages of P’s and it either contains the preimage of the fth P or not; or | # the stack has only preimages of P’s and it either contains the preimage of the fth P or not; or | ||
# the stack has one I and does not contain any R (since it’s more than f | # the stack has one I and does not contain any R (since it’s more than f − 1 generators away). | ||
These give exactly three distinct sizes for every interval class. Hence S is SV3. | These give exactly three distinct sizes for every interval class. Hence S is SV3. | ||