(define slow-goldbachs-conjecture-h N -> (slow-goldbachs-conjecture-h (+ N 2)) where (sum-of-two-primes? N) N -> N) (define sum-of-two-primes? N -> (sum-of-two-primes-h? 2 N)) (define sum-of-two-primes-h? P N -> false where (> P N) P N -> true where (sum-of? P 2 N) P N -> (sum-of-two-primes-h? (next-prime (+ 1 P)) N)) (define sum-of? P1 P2 N -> true where (= N (+ P1 P2)) P1 P2 N -> false where (> (+ P1 P2) N) P1 P2 N -> (sum-of? P1 (next-prime (+ 1 P2)) N)) (define next-prime X -> X where (prime? X) X -> (next-prime (+ 1 X)))