theorem Th24: :: CARD_FIL:24

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