halmos nghĩa là kí hiệu kết thúc chứng minh
kí hiệu kết thúc chứng minh
The symbol “∎” marking the end of a proof.