Description: Obsolete version of elpwi2 as of 26-May-2024. (Contributed by Glauco Siliprandi, 3-Mar-2021) (Proof modification is discouraged.) (New usage is discouraged.)