Description: Obsolete proof of unexb as of 21-Jul-2025. (Contributed by NM, 11-Jun-1998) (Proof modification is discouraged.) (New usage is discouraged.)