x = (primes !! 100) * (primes !! 100)
y = p * p where p = primes !! 100