distinct prime factors