NẾU A LÀ SỐ NGUYÊN THÌ        A A ; NẾU A KHÔNG LÀ...

13) Nếu a là số nguyên thì     ^{   a a ;}

Nếu a không là số nguyên thì     ^{   a a  1;}

Chứng minh

Các tính chất 1) đến 5) có thể chứng minh dễ dàng trên dựa vào định nghĩa phần nguyên.