(*this obvious property is useful because simplify, sometimes,
"simplifies too much", and doesn't allow to obtain this simple result.
*)
(*this obvious property is useful because simplify, sometimes,
"simplifies too much", and doesn't allow to obtain this simple result.
*)