如果小明是优秀的程序员，那么小明对数据结构与算法一定很熟悉。上述论证基于以下哪个前提?
一个程序员除非不是优秀的，否则对数据结构与算法一定很熟悉
一个程序员只要对数据结构与算法很熟悉，那么一定是优秀的程序员
一个程序员如果不是优秀的，那么一定对数据结构与算法不很熟悉
一个程序员如果对数据结构与算法很熟悉，那么一定是优秀的程序员
