Ví dụ chứng minh vòng lặp do while luôn luôn lặp ít nhất là 1 lần RUN