Generator-offset property: Difference between revisions

Inthar (talk | contribs)
Inthar (talk | contribs)
Line 113: Line 113:
# The sum of sizes of consecutive chunks of X (1st chunk with 2nd chunk, 3rd with 4th, ...) must form a mos.
# The sum of sizes of consecutive chunks of X (1st chunk with 2nd chunk, 3rd with 4th, ...) must form a mos.
# If chunk sizes of a binary scale form a mos, the scale itself must be a mos; see [[Recursive structure of MOS scales]].
# If chunk sizes of a binary scale form a mos, the scale itself must be a mos; see [[Recursive structure of MOS scales]].
Since ''E''<sub>X</sub>(''S'') is the mos ''b''Y ''b''Z, ''S'' is elimination-mos.
Lastly, ''E''<sub>X</sub>(''S'') is the mos ''b''Y ''b''Z; hence ''S'' is elimination-mos.


=== Proposition 2 (Odd GO scales are SGA) ===
=== Proposition 2 (Odd GO scales are SGA) ===