Description: Alternate (dual) definition of substitution df-sb not using dummy variables. (Contributed by BJ, 19-Mar-2021)