Description: Obsolete version of eluzadd as of 7-Feb-2025. (Contributed by Jeff Madsen, 2-Sep-2009) (Proof modification is discouraged.) (New usage is discouraged.)