All dependents of is-prime