Actually, the proof gives an even more precise conclusion:......
Even though we were able to derive a formula for......, it is not easy to use. The fact that the number T(p) is uniquely defined, even though p is not, enables us to define the nullity of A as follows.