Các dạng toàn phương có hạng lớn hơn hoặc bằng 2 trên trường hữu hạn , với  là lũy thừa của một số nguyên tố khác 2, luôn biểu diễn mọi phần tử của nhóm nhân các phần tử khác không . Chính vì vậy, mọi dạng toàn phương không suy biến với hạng bằng  trên trường , với  là số nguyên dương, luôn tương đương với dạng chính tắc

X²₁ + ... + X²_n-1 + X²_n

hoặc

X²₁ + ... + X²_n-1 + aX²_n

tùy thuộc vào biệt thức của dạng toàn phương đó có là một bình phương hay không. Với ý tưởng như vậy cùng việc sử dụng phần mềm Maple, bài báo đưa ra các đoạn lệnh lập trình để đưa một dạng toàn phương không suy biến trên trường hữu hạn  về dạng chính tắc, đồng thời chỉ ra ma trận chuyển cơ sở để thu được dạng chính tắc đó.