Description: Obsolete version of equvini as of 16-Sep-2023. (Contributed by NM, 10-Jan-1993) (Proof shortened by Andrew Salmon, 25-May-2011) (Proof shortened by Wolf Lammen, 15-Sep-2018) (New usage is discouraged.) (Proof modification is discouraged.)