Mutual recursion

Mutual recursion between primes_below and is_prime
description