___________GCD(X,Y) = GCD(X,Y - X)___________

X is fibonacci if 5x^2-4 and 5x^2+4 is square

X is prime if ((2^x)%x+2)%x == 0 except 2