let mathd-algebra-184 = `!a:real b:real.
    (&0 < a /\ &0 < b) /\
    ((a pow 2) = &6 * b) /\
    ((a pow 2) = &54 / b)
==>
    a = &3 * sqrt (&2)
`;;