Example 7.06 Williamson Synthesis Elimination