for M being Cardinal holds M in exp (2,M)