let mathd-algebra-192 = `!q:complex e:complex d:complex.
    (q = Cx(&11) - (Cx(&5) * ii)) /\
    (e = Cx(&11) + (Cx(&5) * ii)) /\
    (d = Cx(&2) * ii)
==>
    q * e * d = Cx(&292) * ii
`;;