Factorization in Prime Numbers

primenumbers.cs

public class PrimeFactorTest
{
    [Property]
    bool boolean_factorization_in_prime_numbers(PositiveInt positiveNumber)
    {
        var n = positiveNumber.Item;
        
        var factors = factorize(n);
        
        return factors.AreAllPrime() && factors.Multiplied() == n;
    }
}


internal static class PrimeNumbersExtensions
{
    internal static bool IsPrime(this int n) => 
        Enumerable.Range(1, n)
            .Where(i => !(i == 1 || i == n))
            .All(i => n.CannotBeDividedBy(i));

    private static bool CannotBeDividedBy(this int n, int i) => 
        n % i != 0;

    internal static bool AreAllPrime(this IEnumerable<int> xs) => 
        xs.All(IsPrime);

    internal static int Multiplied(this IEnumerable<int> xs) => 
        xs.Aggregate(1, (product, i) => product * i);
}