. . . . "The above algorithm will terminate because k is bounded by n n.PA will prove ((k is an even number > 2) & (p and k - p are primes))." .