Assertion list for term "common factor".

Results from Ascent++: 1
prime number HasAcommon factor 0.25