给出下列演绎推理：“自然数是整数，    ▲     ， 所以2是整数”，如果这是推理是正确的，则其中横线部分应填写．