let mathd-algebra-107 = `!x y. x pow 2 + &8 * x + y pow 2 - &6 * y = &0 ==> (x + &4) pow 2 + (y - &3) pow 2 = &5 pow 2`;;