let mathd-algebra-37 = `!x:real y:real.
    (x + y = &7) /\
    (&3 * x + y = &45)
==>
    (x pow 2 - y pow 2 = &217)
`;;