theorem :: FIB_NUM2:50
for n being Element of NAT st n > 1 & n <> 4 & Fib n is prime holds
n is prime