vì a <5 và >-5 nên ta có a={-4;-3;-2;-1;0;1;2;3;4}<=>lal={4;3;2;1;0} vì vậy ta có kết luận lal lun lun bè hơn 5
=> a thuộc {-4; -3; -2; -1; 0; 1; 2; 3; 4}
giá trị tuyệt đối của mỗi số trên là một số dương (ko phải nguyên dương)
=> điều cần chứng minh