Here's a derivation of my L
alepho base {Syl, Simp, CCCpqqCCCpqCqpp} from the Lalepho-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
 


Dolph Ulrich, 2007