Assertion: trigonometric identity | /r/HasProperty | px
Facets:
Source sentences:
text: If the ring has characteristic p different from zero then it satisfies the polynomial identity pX = 0.