这还用证?
对任意自然数N,令K = M*N,M属于自然数,则有：
N^4 + K
= N^4 + MN
= N(N^3 + M)
当N = 1时,N^3恒等于1,因此只要使M为大于等于3的奇数,N^3 + M就为大于2的偶数,必然是合数.
当N > 1时,只要使N^3 + M > 1即能让N^4 + K有两个大于1的因数,必然是合数.而N > 1时,N^3 + M > 1对M属于自然数恒成立.
综上,存在无穷多个自然数M,也就是存在无穷多个自然数K,使得N^4 + K不是质数.