Assertion: prime number | /r/CapableOf | divide both of them
Facets:
Source sentences:
text: In this determination, it is convenient to use the characterization that a and b are coprime if and only if no prime number divides both of them (see Fundamental theorem of arithmetic).