Description: Obsolete version of dftr5 as of 28-Dec-2024. (Contributed by NM, 20-Mar-2004) (Proof modification is discouraged.) (New usage is discouraged.)