Assertion list for term "exactly two divisors".
Results from Ascent++: 1
prime number → HasA → exactly two divisors 0.34