for A being Element of omega holds A = x". (x. (card A)) by Lm2;