Description: Substitution doesn't affect a constant B (in which x does not occur). csbconstgf with distinct variable requirement. (Contributed by Alan Sare, 22-Jul-2012)