Trong trường hữu hạn F p {\displaystyle F_{p}} với p là số nguyên tố có dạng p = 4 k + 1 {\displaystyle p=4k+1} , nếu x là số chính phương thì -x cũng là số chính phương.