Sur quelques théorèmes qui équivalent à l'axiome du choix

Le but de cette note est d'établir que l'axiome du choix de Zermelo équivaut à chacun des sept théorèmes suivantes: m, n, p, q étant des nombres cardinaux transfinis, [I] m.n = m + n; [II] ${\displaystyle m=m^2}$; [III] si ${\displaystyle m^2=n^2}$, on a m = n; [IV] si m < n et p < q on a m+p < n+q; [IV'] si m < n et p < q. on a m.p < n.q; [V] si m+p < n+p on a m < n; [V'] si m.p < n.p on a m < n.;