let mathd-algebra-171 = `!f. (!x. f x = &5 * x + &4) ==> f (&1) = &9`;;