已知推理：“因为△ABC三边长依次为3，4，5，所以△ABC是直角三角形”，若将其恢复成完整的三段论，则大前提是（    ）。