Description: Obsolete version of funmo as of 19-Dec-2024. (Contributed by NM, 24-May-1998) (Proof modification is discouraged.) (New usage is discouraged.)