Subrejeccion : Diferéncia entre lei versions

* L'aplicacion ''u''&nbsp;:&nbsp;'''N'''&nbsp;&rarr;&nbsp;'''N''' definida per ''u''(''n'')&nbsp;= Ent(''n'' / 2) (onte per tot reau ''x'', "Ent(''x'')" es la [[partida entiera]] de ''x'') es subrejectiva : per tot element ''p'' dau codomeni, valent a dire per tot entier naturau ''p'N''', existís aumens un element ''n'' dau domeni, valent a dire un entier naturau ''n'N''', tau que ''u''(''n'')&nbsp;= ''p'' : per exemple ''n'' = 2 ''p'' (mai l'element ''n'' = 2 ''p'' + 1 convèn tanben ; se pòt verificar que per tot entier naturau ''p'', l'eqüacion ''u''(''n'')&nbsp;= ''p'' d'inconeguda ''n'' a pas d'autra solucion que ''n' ''<sub>1</sup> = 2 ''p'' e ''n" ''<sub>2</sup> = 2 ''p'' + 1).