```
Simplify[Mod[FromDigits[{a, b, a, b, a, b}], 7]==0, {a, b} ∈ 
  PositiveIntegers]
```

> `True`

BTW,`{a, b} ∈ Integers` also work.