Here's a derivation of my Lo base {Syl, Simp, CCCpqqCCCpqCqpp} from the Lo-theorem CCCpCqpCCCCCCrssCCCrsCsrrCtuCvuwCCvtw: |
||
1. CCCpCqpCCCCCCrssCCCrsCsrrCtuCvuwCCvtw D1.1 = 2. CCpqCrCsr D2.1 = 3. CpCqp D1.2 = 4. CCpqCrCCCCCsttCCCstCtssCquCpu D3.1 = 5. CpCCCqCrqCCCCCCsttCCCstCtssCuvCwvxCCwux D1.4 = 6. CCpqCCCCCrssCCCrsCsrrCCtuvCuv D4.4 = 7. CpCCCCCqrrCCCqrCrqqCCsCCCCCtuuCCCtuCuttCvwCxwyCCxvy D1.5 = 8. CCCCCCCpqqCCCpqCqppCrsCtsuCCtrCCCvwwCCCvwCwvv D7.1 = 9. CCCCCpqqCCCpqCqppCCrCCCCCsttCCCstCtssCuvCwvxCCwux D8.1 = 10. CCCCCCCpqqCCCpqCqppCrsCtsuCCCvwwCCCvwCwvv D9.6 = 11. CCpqCCqrCpr D10.1 = 12. CCCpqqCCCpqCqpp |
||
|