(問題)任意の連続する２項a_n,a_(n+1)の間で条件
①a_n +n=a_(n+1)　②a_nは素数∨a_(n+1)は素数
を満たす数列（すべての自然数nに対し第n項a_nが定義されている数列）は
存在しないことを証明せよ。
ぜひともお願いします。