is-prime to prime