若x是能被7整除的正整数，下列表达式一定成立的是（    ）

① x mod 7=0     ② x\7=0    ③ Int(x/7)=x/7      ④ x/7=x\7

A、  ①②

B、  ①③④

C、  ①②④

D、①③