Description: Show that df-sb and df-sbc are equivalent when the class term A in
df-sbc is a setvar variable. This theorem lets us reuse theorems based
on df-sb for proofs involving df-sbc . (Contributed by NM, 31-Dec-2016)(Proof modification is discouraged.)