Here is an 18-line (14-step) derivation of the formula in question from B', C, I, and W:
		1. CCpqCCqrCpr                                                                    [B']           2. CCpCqrCqCpr                                                                    [C]           3. Cpp                                                                                         [I]           4. CCpCpqCpq                                                                         [W] D1.1   =  5. CCCCpqCrqsCCrps D1.2   =  6. CCCpCqrsCCqCprs D2.1   =  7. CCpqCCrpCrq D5.5   =  8. CCpCqrCCsqCpCsr D7.1   =  9. CCpCqrCpCCrsCqs D7.4   = 10. CCpCqCqrCpCqr D6.8   = 11. CCpCqrCCspCqCsr D10.9  = 12. CCCpqCrpCCpqCrq D7.11  = 13. CCpCqCrsCpCCtqCrCts D2.13  = 14. CpCCpCqCrsCCtqCrCts D14.3  = 15. CCCppCqCrsCCtqCrCts D7.15  = 16. CCpCCqqCrCstCpCCurCsCut D2.16  = 17. CpCCpCCqqCrCstCCurCsCut D17.12 = 18. CCCCCpqCrpCCpqCrqCCssCtCuvCCwtCuCwv  [The new axiom]
		© Dolph Ulrich, 2007