Description: Obsolete proof of sbequ as of 7-Jul-2023. An equality theorem for
substitution. Used in proof of Theorem 9.7 in Megill p. 449 (p. 16 of
the preprint). (Contributed by NM, 14-May-1993)(Proof modification is discouraged.)(New usage is discouraged.)