Ternary scale theorems: Difference between revisions
→Statement (5): Elaborate/clarify proof |
|||
| Line 89: | Line 89: | ||
Proof: | Proof: | ||
* A.1. Say that the generator of T has ''k'' steps. | * A.1. Say that the generator of ''T'' has ''k'' steps. | ||
* A.2.i. Each slice/occurrence of the (perfect) generator in the template MOS ''T'' contains a certain number of '''X''' steps, and the imperfect generator occurs only at one position. Call the unique imperfect position ''p''. | * A.2.i. Each slice/occurrence of the (perfect) generator in the template MOS ''T'' contains a certain number of '''X''' steps, and the imperfect generator occurs only at one position. Call the unique imperfect position ''p''. | ||
* A.2.ii. Say that the number of '''X''' steps in a ''perfect'' generator is ''i'', and the number of '''W''' steps in a ''perfect'' generator is ''j'', we have that {{nowrap|''k'' {{=}} ''i'' + ''j''.}} | * A.2.ii. Say that the number of '''X''' steps in a ''perfect'' generator is ''i'', and the number of '''W''' steps in a ''perfect'' generator is ''j'', we have that {{nowrap|''k'' {{=}} ''i'' + ''j''.}} | ||