E et F sont équipotents à N càd qu'il existe f (resp g) bijective de E(resp F) vers N.
h: ExF -----> N²
(x,y) |--->(f(x),g(y))
est clairement bijective or on sait que N² ( prendre l'application 2^{a}.(2b+1) ou (a+b)(a+b+1)/2 ) est équipotent à N par transitivité ...