“因为四边形是菱形，所以四边形的对角线互相垂直”，补充以上推理

的大前提为                        　       ．