theorem :: NUMBER02:60

( (5 |^ 4) + ((5 + 1) |^ 4) is composite & ( for n being Nat holds
( not n < 5 or not (n |^ 4) + ((n + 1) |^ 4) is composite ) ) )