将演绎推理“函数的图像是一条直线．”恢复成完全的三段论形式，其中大前提是    ．