Description: Obsolete version of 19.3v as of 20-Oct-2023. (Contributed by Anthony Hart, 13-Sep-2011) Remove dependency on ax-7 . (Revised by Wolf Lammen, 4-Dec-2017) (Proof modification is discouraged.) (New usage is discouraged.)