for a, b being Aleph st a c= b holds
exp (a,b) = exp (2,b)