let is_pseudo_prime p test_seq =
  if p<2 then
    false
  else
    let rec pseudoprime p list =
      match list with
	  [] -> true
	|(e::l) when mod_power e (p-1) p <> 1 | n mod p <> 0 -> false
	|(e::l) -> pseudoprime p l in
    pseudoprime p test_seq;;