Assertion: group's subgroup | /r/CapableOf | call the group of false witnesses
Facets:
Source sentences:
text: If n is composite, there exists a subgroup of the multiplicative group, called the "group of false witnesses", in which the elements, when raised to the power n