TTV: Chứng minh rằng bao giờ cũng có thể chọn được 4 trong 7 số mà tổng của chúng chia hết cho 4.