Update PrimeFactorsSpec.php