let mathd-algebra-196 = `FINITE {x:real | abs (&2 - x) = &3} ==> sum {x:real | abs (&2 - x) = &3} (\k. k) = &4`;;