irreducibility test