“因为四边形ABCD是矩形，所以四边形ABCD的对角线相等”以上推理的大前提是（   ）

A、矩形都是四边形

B、四边形的对角线都相等

C、矩形都是对角线相等的四边形

D、对角线都相等的四边形是矩形