for N being Cardinal holds nextcard N c= exp (2,N)