قال المفضل بن سلمة في (ضياء القلوب) : تقديره: ذلك التمتع لمن لم يكن، وقد دل على المصدر الفعل في قوله: (فمن تمتع) .