Assertion: prime number | /r/HasProperty | congruent
Facets:
value: to 3 modulo 4
type: OTHER
Source sentences:
text: p2 is the square of a prime number, which is congruent to 3 modulo 4), then the residue class field has p2 elements, and it is an extension of degree 2 (unique, up to an isomorphism) of the prime field with p elements (the integers modulo p).