Description: Obsolete version of sbequ as of 7-Jul-2023. Version of sbequ with disjoint variable conditions, not requiring ax-13 . (Contributed by Wolf Lammen, 19-Jan-2023) (Proof modification is discouraged.) (New usage is discouraged.)