Description: Obsolete version of spimew as of 22-Oct-2023. (Contributed by NM, 7-Aug-1994) (Proof shortened by Wolf Lammen, 10-Dec-2017) (New usage is discouraged.) (Proof modification is discouraged.)