148:@0.026565:0.967627:0.050760:0.967627:0.050760:0.951847:0.026565:0.951847:0.000000:0.000000:0.000000
Resta en :@0.404236:0.097328:0.475700:0.097328:0.475700:0.079645:0.404236:0.079645:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
R:@0.475700:0.095834:0.490214:0.095834:0.490214:0.081803:0.475700:0.081803:0.000000
2:@0.490215:0.090498:0.495922:0.090498:0.495922:0.080189:0.490215:0.080189:0.000000
Definición:@0.404236:0.121627:0.484320:0.121627:0.484320:0.104681:0.404236:0.104681:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Sean :@0.404236:0.147523:0.442035:0.147523:0.442035:0.131025:0.404236:0.131025:0.000000:0.000000:0.000000:0.000000:0.000000
(, ),:@0.473445:0.147529:0.514943:0.147529:0.514943:0.131031:0.473445:0.131031:0.000000:0.000000:0.000000:0.000000:0.000000
(, ):@0.549986:0.147529:0.588237:0.147529:0.588237:0.131031:0.549986:0.131031:0.000000:0.000000:0.000000:0.000000
. . Se define :@0.627037:0.147529:0.701577:0.147529:0.701577:0.131031:0.627037:0.131031:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
2:@0.619453:0.139493:0.624370:0.139493:0.624370:0.129944:0.619453:0.129944:0.000000
=:@0.459415:0.148165:0.469992:0.148165:0.469992:0.131884:0.459415:0.131884:0.000000
=:@0.535956:0.148165:0.546533:0.148165:0.546533:0.131884:0.535956:0.131884:0.000000
∈:@0.591074:0.148165:0.604810:0.148165:0.604810:0.131884:0.591074:0.131884:0.000000
U:@0.444176:0.147644:0.456121:0.147644:0.456121:0.131175:0.444176:0.131175:0.000000
a bV:@0.479413:0.147644:0.531467:0.147644:0.531467:0.131175:0.479413:0.131175:0.000000:0.000000:0.000000:0.000000
cd:@0.555934:0.147644:0.582328:0.147644:0.582328:0.131175:0.555934:0.131175:0.000000:0.000000
U – V:@0.701577:0.147644:0.742593:0.147644:0.742593:0.131175:0.701577:0.131175:0.000000:0.000000:0.000000:0.000000:0.000000
 como sigue::@0.742593:0.147529:0.831269:0.147529:0.831269:0.131031:0.742593:0.131031:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
(:@0.490405:0.171378:0.496358:0.171378:0.496358:0.154881:0.490405:0.154881:0.000000
) (:@0.524120:0.171378:0.553326:0.171378:0.553326:0.154881:0.524120:0.154881:0.000000:0.000000:0.000000
,:@0.587059:0.171378:0.589814:0.171378:0.589814:0.154881:0.587059:0.154881:0.000000
).:@0.630136:0.171378:0.638498:0.171378:0.638498:0.154881:0.630136:0.154881:0.000000:0.000000
−=+ −:@0.420896:0.172014:0.506954:0.172014:0.506954:0.155734:0.420896:0.155734:0.000000:0.000000:0.000000:0.000000:0.000000
=:@0.533348:0.172014:0.543924:0.172014:0.543924:0.155734:0.533348:0.155734:0.000000
−:@0.564640:0.172014:0.575217:0.172014:0.575217:0.155734:0.564640:0.155734:0.000000
−:@0.607313:0.172014:0.617890:0.172014:0.617890:0.155734:0.607313:0.155734:0.000000
UV U:@0.406382:0.171494:0.474543:0.171494:0.474543:0.155025:0.406382:0.155025:0.000000:0.000000:0.000000:0.000000
V:@0.507101:0.171494:0.517851:0.171494:0.517851:0.155025:0.507101:0.155025:0.000000
ac bd:@0.553318:0.171494:0.630200:0.171494:0.630200:0.155025:0.553318:0.155025:0.000000:0.000000:0.000000:0.000000:0.000000
Obsérvese que el opuesto aditivo de :@0.404236:0.198159:0.667567:0.198159:0.667567:0.181661:0.404236:0.181661:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
(, ):@0.698978:0.196902:0.737239:0.196902:0.737239:0.180404:0.698978:0.180404:0.000000:0.000000:0.000000:0.000000
2:@0.768448:0.188866:0.773366:0.188866:0.773366:0.179317:0.768448:0.179317:0.000000
=:@0.684948:0.197538:0.695524:0.197538:0.695524:0.181257:0.684948:0.181257:0.000000
∈:@0.740066:0.197538:0.753802:0.197538:0.753802:0.181257:0.740066:0.181257:0.000000
V:@0.669713:0.197017:0.680463:0.197017:0.680463:0.180548:0.669713:0.180548:0.000000
c d:@0.704949:0.197017:0.731343:0.197017:0.731343:0.180548:0.704949:0.180548:0.000000:0.000000:0.000000
 es :@0.776458:0.198159:0.799113:0.198159:0.799113:0.181661:0.776458:0.181661:0.000000:0.000000:0.000000:0.000000
V:@0.417951:0.217511:0.428701:0.217511:0.428701:0.201042:0.417951:0.201042:0.000000
c:@0.464862:0.217511:0.472048:0.217511:0.472048:0.201042:0.464862:0.201042:0.000000
d:@0.494126:0.217511:0.503296:0.217511:0.503296:0.201042:0.494126:0.201042:0.000000
−= −−:@0.407221:0.218032:0.490986:0.218032:0.490986:0.201751:0.407221:0.201751:0.000000:0.000000:0.000000:0.000000:0.000000
∈:@0.512081:0.218032:0.525818:0.218032:0.525818:0.201751:0.512081:0.201751:0.000000
(:@0.447331:0.217396:0.453284:0.217396:0.453284:0.200898:0.447331:0.200898:0.000000
,:@0.473551:0.217396:0.476306:0.217396:0.476306:0.200898:0.473551:0.200898:0.000000
):@0.503239:0.217396:0.509192:0.217396:0.509192:0.200898:0.503239:0.200898:0.000000
2:@0.540507:0.209360:0.545424:0.209360:0.545424:0.199811:0.540507:0.199811:0.000000
 y que :@0.549982:0.218653:0.597240:0.218653:0.597240:0.202155:0.549982:0.202155:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
U – V:@0.597240:0.218768:0.638255:0.218768:0.638255:0.202300:0.597240:0.202300:0.000000:0.000000:0.000000:0.000000:0.000000
 se opera como la suma de   con el :@0.638255:0.218653:0.895599:0.218653:0.895599:0.202155:0.638255:0.202155:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
U:@0.832582:0.218768:0.844527:0.218768:0.844527:0.202300:0.832582:0.202300:0.000000
opuesto aditivo de :@0.404240:0.236004:0.541754:0.236004:0.541754:0.219506:0.404240:0.219506:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
V.:@0.541754:0.236119:0.553679:0.236119:0.553679:0.219650:0.541754:0.219650:0.000000:0.000000
Teorema:@0.404240:0.260945:0.471185:0.260945:0.471185:0.243999:0.404240:0.243999:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Sean :@0.404240:0.284962:0.442039:0.284962:0.442039:0.268464:0.404240:0.268464:0.000000:0.000000:0.000000:0.000000:0.000000
(, ),:@0.473445:0.284962:0.514943:0.284962:0.514943:0.268464:0.473445:0.268464:0.000000:0.000000:0.000000:0.000000:0.000000
(, ) dos elementos de  .:@0.549986:0.284962:0.746542:0.284962:0.746542:0.268464:0.549986:0.268464:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
=:@0.459420:0.285598:0.393456:0.285598:0.393456:0.269317:0.459420:0.269317:0.000000
=:@0.535961:0.285598:0.469997:0.285598:0.469997:0.269317:0.535961:0.269317:0.000000
U:@0.444181:0.285077:0.456126:0.285077:0.456126:0.268609:0.444181:0.268609:0.000000
a bV:@0.479418:0.285077:0.531472:0.285077:0.531472:0.268609:0.479418:0.268609:0.000000:0.000000:0.000000:0.000000
cd:@0.555939:0.285077:0.582333:0.285077:0.582333:0.268609:0.555939:0.268609:0.000000:0.000000
R:@0.724926:0.283993:0.738836:0.283993:0.738836:0.270546:0.724926:0.270546:0.000000
2:@0.738835:0.278609:0.743788:0.278609:0.743788:0.268990:0.738835:0.268990:0.000000
Entonces  (:@0.404237:0.302312:0.493465:0.302312:0.493465:0.285815:0.404237:0.285815:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
) (:@0.531533:0.302312:0.560740:0.302312:0.560740:0.285815:0.531533:0.285815:0.000000:0.000000:0.000000
) (:@0.583010:0.302312:0.610732:0.302312:0.610732:0.285815:0.583010:0.285815:0.000000:0.000000:0.000000
).  :@0.633003:0.302312:0.648395:0.302312:0.648395:0.285815:0.633003:0.285815:0.000000:0.000000:0.000000:0.000000
−:@0.476366:0.302949:0.486943:0.302949:0.486943:0.286668:0.476366:0.286668:0.000000
+:@0.507152:0.302949:0.517729:0.302949:0.517729:0.286668:0.507152:0.286668:0.000000
=−:@0.540751:0.302949:0.571325:0.302949:0.571325:0.286668:0.540751:0.286668:0.000000:0.000000
+−:@0.591476:0.302949:0.621318:0.302949:0.621318:0.286668:0.591476:0.286668:0.000000:0.000000
UV:@0.492645:0.302428:0.530771:0.302428:0.530771:0.285959:0.492645:0.285959:0.000000:0.000000
U:@0.571484:0.302428:0.583428:0.302428:0.583428:0.285959:0.571484:0.285959:0.000000
V:@0.621477:0.302428:0.632227:0.302428:0.632227:0.285959:0.621477:0.285959:0.000000
La demostración se propone como ejercicio para el estudiante.:@0.404227:0.319663:0.854737:0.319663:0.854737:0.303165:0.404227:0.303165:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Teorema:@0.404227:0.344605:0.471172:0.344605:0.471172:0.327659:0.404227:0.327659:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Ley cancelativa:@0.404236:0.362890:0.525215:0.362890:0.525215:0.345207:0.404236:0.345207:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Para todo  ,,,,:@0.404236:0.388862:0.511642:0.388612:0.511642:0.372115:0.404236:0.372365:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
,,:@0.562582:0.388612:0.566144:0.388612:0.566144:0.372115:0.562582:0.372115:0.000000:0.000000
..  :@0.729900:0.388612:0.740913:0.388862:0.740913:0.372365:0.729900:0.372115:0.000000:0.000000:0.000000:0.000000
22:@0.554259:0.380575:0.559979:0.380575:0.559979:0.371027:0.554259:0.371027:0.000000:0.000000
∈∈:@0.525884:0.389248:0.540422:0.389248:0.540422:0.372968:0.525884:0.372968:0.000000:0.000000
+ =+=+:@0.583776:0.389248:0.649810:0.389248:0.649810:0.372968:0.583776:0.372968:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
==:@0.704288:0.389248:0.715676:0.389248:0.715676:0.372968:0.704288:0.372968:0.000000:0.000000
AB CC:@0.481699:0.388728:0.522689:0.388728:0.522689:0.372259:0.481699:0.372259:0.000000:0.000000:0.000000:0.000000:0.000000
A BA CC:@0.570069:0.388728:0.662574:0.388728:0.662574:0.372259:0.570069:0.372259:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
B CC:@0.691846:0.388728:0.729167:0.388728:0.729167:0.372259:0.691846:0.372259:0.000000:0.000000:0.000000:0.000000
 :@0.663959:0.388862:0.668101:0.388862:0.668101:0.372365:0.663959:0.372365:0.000000
⇔:@0.668101:0.389412:0.688175:0.389412:0.688175:0.370572:0.668101:0.370572:0.000000
 :@0.688175:0.388862:0.692317:0.388862:0.692317:0.372365:0.688175:0.372365:0.000000
+:@0.584578:0.389248:0.595155:0.389248:0.595155:0.372968:0.584578:0.372968:0.000000
AB:@0.482502:0.388728:0.507758:0.388728:0.507758:0.372259:0.482502:0.372259:0.000000:0.000000
A:@0.570871:0.388728:0.582142:0.388728:0.582142:0.372259:0.570871:0.372259:0.000000
BA:@0.597881:0.388728:0.636797:0.388728:0.636797:0.372259:0.597881:0.372259:0.000000:0.000000
B:@0.692647:0.388728:0.701837:0.388728:0.701837:0.372259:0.692647:0.372259:0.000000
Demostración:@0.404234:0.413804:0.513525:0.413804:0.513525:0.396858:0.404234:0.396858:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 Probemos la implicación :@0.427294:0.437820:0.617153:0.437820:0.617153:0.421323:0.427294:0.421323:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
+= ++:@0.636651:0.438457:0.708884:0.438457:0.708884:0.422176:0.636651:0.422176:0.000000:0.000000:0.000000:0.000000:0.000000
==:@0.753379:0.438457:0.770861:0.438457:0.770861:0.422176:0.753379:0.422176:0.000000:0.000000
. .  Supongamos :@0.779040:0.437820:0.895908:0.437820:0.895908:0.421323:0.779040:0.421323:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
AB ACAC:@0.622934:0.437936:0.721638:0.437936:0.721638:0.421467:0.622934:0.421467:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
BCBC:@0.740876:0.437936:0.784404:0.437936:0.784404:0.421467:0.740876:0.421467:0.000000:0.000000:0.000000:0.000000
 :@0.716683:0.437820:0.720825:0.437820:0.720825:0.421323:0.716683:0.421323:0.000000
 :@0.740390:0.437820:0.744532:0.437820:0.744532:0.421323:0.740390:0.421323:0.000000
+=:@0.643556:0.438457:0.679948:0.438457:0.679948:0.422176:0.643556:0.422176:0.000000:0.000000
AB:@0.629839:0.437936:0.666038:0.437936:0.666038:0.421467:0.629839:0.421467:0.000000:0.000000
que se tiene :@0.404240:0.455171:0.496116:0.455171:0.496116:0.438674:0.404240:0.438674:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
.  Mostremos que   =  . En efecto, como :@0.594212:0.455171:0.895936:0.455171:0.895936:0.438674:0.594212:0.438674:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
+= +:@0.514685:0.455807:0.579917:0.455807:0.579917:0.439527:0.514685:0.439527:0.000000:0.000000:0.000000:0.000000
AB AC:@0.500968:0.455287:0.592670:0.455287:0.592670:0.438818:0.500968:0.438818:0.000000:0.000000:0.000000:0.000000:0.000000
B:@0.725845:0.455287:0.735035:0.455287:0.735035:0.438818:0.725845:0.438818:0.000000
C:@0.756439:0.455287:0.766476:0.455287:0.766476:0.438818:0.756439:0.438818:0.000000
 :@0.891777:0.455171:0.895919:0.455171:0.895919:0.438674:0.891777:0.438674:0.000000
A:@0.404250:0.473259:0.415521:0.473259:0.415521:0.456791:0.404250:0.456791:0.000000
 :@0.415521:0.473144:0.419663:0.473144:0.419663:0.456646:0.415521:0.456646:0.000000
 :@0.419412:0.472927:0.440276:0.472927:0.440276:0.458280:0.419412:0.458280:0.000000:0.000000
R:@0.439987:0.472175:0.453897:0.472175:0.453897:0.458728:0.439987:0.458728:0.000000
2:@0.453895:0.466799:0.458848:0.466799:0.458848:0.457181:0.453895:0.457181:0.000000
, existe –   :@0.458849:0.473151:0.538954:0.473151:0.538954:0.456653:0.458849:0.456653:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
A:@0.523542:0.473266:0.534812:0.473266:0.534812:0.456798:0.523542:0.456798:0.000000
 :@0.538723:0.472934:0.559587:0.472934:0.559587:0.458287:0.538723:0.458287:0.000000:0.000000
R:@0.559298:0.472182:0.573208:0.472182:0.573208:0.458735:0.559298:0.458735:0.000000
2:@0.573221:0.466799:0.578174:0.466799:0.578174:0.457181:0.573221:0.457181:0.000000
 opuesto aditivo de  , tal que :@0.578175:0.473151:0.789780:0.473151:0.789780:0.456653:0.578175:0.456653:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
A:@0.718826:0.473266:0.730097:0.473266:0.730097:0.456798:0.718826:0.456798:0.000000
(:@0.820310:0.471893:0.826263:0.471893:0.826263:0.455396:0.820310:0.455396:0.000000
):@0.849305:0.471893:0.855258:0.471893:0.855258:0.455396:0.849305:0.455396:0.000000
.  :@0.884907:0.471893:0.895912:0.473151:0.895912:0.456653:0.884907:0.455396:0.000000:0.000000:0.000000
+−:@0.807017:0.472530:0.836859:0.472530:0.836859:0.456249:0.807017:0.456249:0.000000:0.000000
=:@0.858533:0.472530:0.869109:0.472530:0.869109:0.456249:0.858533:0.456249:0.000000
A:@0.793301:0.472009:0.804571:0.472009:0.804571:0.455540:0.793301:0.455540:0.000000
A:@0.838593:0.472009:0.849863:0.472009:0.849863:0.455540:0.838593:0.455540:0.000000
O:@0.872558:0.472009:0.884464:0.472009:0.884464:0.455540:0.872558:0.455540:0.000000
Entonces, por la existencia de elemento neutro y por las propiedades :@0.404243:0.490501:0.895966:0.490501:0.895966:0.474004:0.404243:0.474004:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
conmutativa y asociativa, se tiene::@0.404243:0.507852:0.644882:0.507852:0.644882:0.491354:0.404243:0.491354:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
(:@0.540768:0.524574:0.546721:0.524574:0.546721:0.508077:0.540768:0.508077:0.000000
) (:@0.569762:0.524574:0.598969:0.524574:0.598969:0.508077:0.569762:0.508077:0.000000:0.000000:0.000000
) (:@0.635476:0.524574:0.663199:0.524574:0.663199:0.508077:0.635476:0.508077:0.000000:0.000000:0.000000
):@0.686240:0.524574:0.692193:0.524574:0.692193:0.508077:0.686240:0.508077:0.000000
(:@0.764674:0.524574:0.770627:0.524574:0.770627:0.508077:0.764674:0.508077:0.000000
):@0.793668:0.524574:0.799621:0.524574:0.799621:0.508077:0.793668:0.508077:0.000000
=+ =+ +−:@0.419261:0.525210:0.557316:0.525210:0.557316:0.508930:0.419261:0.508930:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
=:@0.578990:0.525210:0.589566:0.525210:0.589566:0.508930:0.578990:0.508930:0.000000
+:@0.613436:0.525210:0.624013:0.525210:0.624013:0.508930:0.613436:0.508930:0.000000
+−:@0.643952:0.525210:0.673794:0.525210:0.673794:0.508930:0.643952:0.508930:0.000000:0.000000
=+ +−:@0.695467:0.525210:0.781217:0.525210:0.781217:0.508930:0.695467:0.508930:0.000000:0.000000:0.000000:0.000000:0.000000
BB OB A:@0.406797:0.524690:0.525028:0.524690:0.525028:0.508221:0.406797:0.508221:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
A:@0.559050:0.524690:0.570320:0.524690:0.570320:0.508221:0.559050:0.508221:0.000000
AB:@0.599719:0.524690:0.635918:0.524690:0.635918:0.508221:0.599719:0.508221:0.000000:0.000000
A:@0.675528:0.524690:0.686798:0.524690:0.686798:0.508221:0.675528:0.508221:0.000000
A C:@0.710648:0.524690:0.747698:0.524690:0.747698:0.508221:0.710648:0.508221:0.000000:0.000000:0.000000
A:@0.782953:0.524690:0.794224:0.524690:0.794224:0.508221:0.782953:0.508221:0.000000
(:@0.476429:0.543182:0.482382:0.543182:0.482382:0.526685:0.476429:0.526685:0.000000
):@0.505423:0.543182:0.511376:0.543182:0.511376:0.526685:0.505423:0.526685:0.000000
.:@0.596529:0.543182:0.599283:0.543182:0.599283:0.526685:0.596529:0.526685:0.000000
=+ +−:@0.407228:0.543819:0.492978:0.543819:0.492978:0.527538:0.407228:0.527538:0.000000:0.000000:0.000000:0.000000:0.000000
=+ =:@0.514651:0.543819:0.581502:0.543819:0.581502:0.527538:0.514651:0.527538:0.000000:0.000000:0.000000:0.000000
CA:@0.421253:0.543298:0.460689:0.543298:0.460689:0.526829:0.421253:0.526829:0.000000:0.000000
A:@0.494712:0.543298:0.505982:0.543298:0.505982:0.526829:0.494712:0.526829:0.000000
C OC:@0.528696:0.543298:0.594989:0.543298:0.594989:0.526829:0.528696:0.526829:0.000000:0.000000:0.000000:0.000000
Así, :@0.404236:0.560533:0.433346:0.560533:0.433346:0.544035:0.404236:0.544035:0.000000:0.000000:0.000000:0.000000:0.000000
..:@0.592860:0.560533:0.599495:0.560533:0.599495:0.544035:0.592860:0.544035:0.000000:0.000000
+= +→ ==:@0.450779:0.561169:0.581713:0.561169:0.581713:0.544888:0.450779:0.544888:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
AB ACAC:@0.437062:0.560649:0.532644:0.560649:0.532644:0.544180:0.437062:0.544180:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
BCBC:@0.554792:0.560649:0.595198:0.560649:0.595198:0.544180:0.554792:0.544180:0.000000:0.000000:0.000000:0.000000
   :@0.531816:0.560533:0.557615:0.560533:0.557615:0.544035:0.531816:0.544035:0.000000:0.000000:0.000000
+=:@0.454658:0.561169:0.490993:0.561169:0.490993:0.544888:0.454658:0.544888:0.000000:0.000000
+→:@0.509314:0.561169:0.555666:0.561169:0.555666:0.544888:0.509314:0.544888:0.000000:0.000000
AB:@0.440942:0.560649:0.477141:0.560649:0.477141:0.544180:0.440942:0.544180:0.000000:0.000000
 Supongamos que :@0.427586:0.585011:0.560630:0.585011:0.560630:0.568514:0.427586:0.568514:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
B = C:@0.560630:0.585127:0.599025:0.585127:0.599025:0.568658:0.560630:0.568658:0.000000:0.000000:0.000000:0.000000:0.000000
. Mostremos que :@0.599025:0.585011:0.723036:0.585011:0.723036:0.568514:0.599025:0.568514:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
.:@0.819987:0.585011:0.822742:0.585011:0.822742:0.568514:0.819987:0.568514:0.000000
+= +:@0.740460:0.585648:0.805692:0.585648:0.805692:0.569367:0.740460:0.569367:0.000000:0.000000:0.000000:0.000000
AB AC:@0.726743:0.585127:0.818446:0.585127:0.818446:0.568658:0.726743:0.568658:0.000000:0.000000:0.000000:0.000000:0.000000
La operación adición “+” en :@0.404236:0.609491:0.666107:0.609491:0.666107:0.592993:0.404236:0.592993:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
R:@0.681326:0.608522:0.695236:0.608522:0.695236:0.595076:0.681326:0.595076:0.000000
2:@0.695219:0.603138:0.700172:0.603138:0.700172:0.593520:0.695219:0.593520:0.000000
 es una función de :@0.700172:0.609491:0.895927:0.609491:0.895927:0.592993:0.700172:0.592993:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.891765:0.609491:0.895907:0.609491:0.895907:0.592993:0.891765:0.592993:0.000000
R:@0.404239:0.625873:0.418148:0.625873:0.418148:0.612426:0.404239:0.612426:0.000000
2   :@0.418146:0.620489:0.438864:0.620489:0.438864:0.610871:0.418146:0.610871:0.000000:0.000000:0.000000:0.000000
×:@0.427051:0.625104:0.436449:0.625104:0.436449:0.610758:0.427051:0.610758:0.000000
R:@0.440401:0.625873:0.454311:0.625873:0.454311:0.612426:0.440401:0.612426:0.000000
2:@0.454311:0.620489:0.459264:0.620489:0.459264:0.610871:0.454311:0.610871:0.000000
 en :@0.459264:0.626842:0.487739:0.626842:0.487739:0.610344:0.459264:0.610344:0.000000:0.000000:0.000000:0.000000
R:@0.490378:0.625873:0.504287:0.625873:0.504287:0.612426:0.490378:0.612426:0.000000
2:@0.504285:0.620489:0.509238:0.620489:0.509238:0.610871:0.504285:0.610871:0.000000
, entonces al par (:@0.509237:0.626842:0.644710:0.626842:0.644710:0.610344:0.509237:0.610344:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
A, B:@0.644710:0.626958:0.675188:0.626958:0.675188:0.610489:0.644710:0.610489:0.000000:0.000000:0.000000:0.000000
) lo asocia el único elemento :@0.675188:0.626842:0.895927:0.626842:0.895927:0.610344:0.675188:0.610344:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.891768:0.626842:0.895910:0.626842:0.895910:0.610344:0.891768:0.610344:0.000000
A + B:@0.404241:0.644308:0.445873:0.644308:0.445873:0.627840:0.404241:0.627840:0.000000:0.000000:0.000000:0.000000:0.000000
 de :@0.445873:0.644193:0.473016:0.644193:0.473016:0.627695:0.445873:0.627695:0.000000:0.000000:0.000000:0.000000
R:@0.474018:0.643224:0.487927:0.643224:0.487927:0.629777:0.474018:0.629777:0.000000
2:@0.487918:0.637840:0.492871:0.637840:0.492871:0.628222:0.487918:0.628222:0.000000
 y como :@0.492871:0.644193:0.556907:0.644193:0.556907:0.627695:0.492871:0.627695:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
B = C:@0.557909:0.644308:0.598308:0.644308:0.598308:0.627840:0.557909:0.627840:0.000000:0.000000:0.000000:0.000000:0.000000
, en la suma :@0.598308:0.644193:0.688200:0.644193:0.688200:0.627695:0.598308:0.627695:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
A + B:@0.689202:0.644308:0.730834:0.644308:0.730834:0.627840:0.689202:0.627840:0.000000:0.000000:0.000000:0.000000:0.000000
, se reemplaza   por   :@0.730834:0.644193:0.895933:0.644193:0.895933:0.627695:0.730834:0.627695:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
C:@0.836982:0.644308:0.847019:0.644308:0.847019:0.627840:0.836982:0.627840:0.000000
B:@0.882602:0.644308:0.891791:0.644308:0.891791:0.627840:0.882602:0.627840:0.000000
 :@0.891778:0.644193:0.895920:0.644193:0.895920:0.627695:0.891778:0.627695:0.000000
y se tiene  :@0.404251:0.661543:0.478769:0.661543:0.478769:0.645046:0.404251:0.645046:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
.:@0.575707:0.661543:0.578462:0.661543:0.578462:0.645046:0.575707:0.645046:0.000000
+= +:@0.496180:0.662180:0.561412:0.662180:0.561412:0.645899:0.496180:0.645899:0.000000:0.000000:0.000000:0.000000
AB AC:@0.482463:0.661659:0.574166:0.661659:0.574166:0.645190:0.482463:0.645190:0.000000:0.000000:0.000000:0.000000:0.000000
Conclusión:@0.404236:0.686484:0.490718:0.686484:0.490718:0.669539:0.404236:0.669539:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
: :@0.490718:0.686022:0.497615:0.686022:0.497615:0.669524:0.490718:0.669524:0.000000:0.000000
AB ACAC:@0.501330:0.686219:0.595921:0.686219:0.595921:0.669750:0.501330:0.669750:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
BCBC:@0.620890:0.686219:0.660306:0.686219:0.660306:0.669750:0.620890:0.669750:0.000000:0.000000:0.000000:0.000000
..:@0.659054:0.686103:0.664602:0.686103:0.664602:0.669606:0.659054:0.669606:0.000000:0.000000
+= ++:@0.515047:0.686740:0.583148:0.686740:0.583148:0.670459:0.515047:0.670459:0.000000:0.000000:0.000000:0.000000:0.000000
==:@0.633419:0.686740:0.646762:0.686740:0.646762:0.670459:0.633419:0.670459:0.000000:0.000000
   :@0.594974:0.686022:0.622449:0.686022:0.622449:0.669524:0.594974:0.669524:0.000000:0.000000:0.000000
AB:@0.504122:0.686219:0.540322:0.686219:0.540322:0.669750:0.504122:0.669750:0.000000:0.000000
+=:@0.517820:0.686740:0.554212:0.686740:0.554212:0.670459:0.517820:0.670459:0.000000:0.000000
Teorema:@0.404236:0.710963:0.471181:0.710963:0.471181:0.694017:0.404236:0.694017:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
i):@0.404236:0.735196:0.414774:0.735196:0.414774:0.718482:0.404236:0.718482:0.000000:0.000000
   El elemento   de   es único.:@0.414774:0.734979:0.638047:0.734980:0.638047:0.718482:0.414774:0.718482:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
O:@0.515570:0.735095:0.527476:0.735095:0.527476:0.718626:0.515570:0.718626:0.000000
R:@0.553619:0.734010:0.567528:0.734010:0.567528:0.720564:0.553619:0.720564:0.000000
2:@0.567534:0.728627:0.572487:0.728627:0.572487:0.719009:0.567534:0.719009:0.000000
ii):@0.404244:0.759676:0.419039:0.759676:0.419039:0.742961:0.404244:0.742961:0.000000:0.000000:0.000000
   Dado :@0.419039:0.759459:0.471427:0.759459:0.471427:0.742961:0.419039:0.742961:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
U:@0.471422:0.759575:0.483366:0.759575:0.483366:0.743106:0.471422:0.743106:0.000000
:@0.483366:0.759242:0.499414:0.759242:0.499414:0.744595:0.483366:0.744595:0.000000
R:@0.499414:0.758490:0.513324:0.758490:0.513324:0.745043:0.499414:0.745043:0.000000
2:@0.513321:0.753105:0.518274:0.753105:0.518274:0.743487:0.513321:0.743487:0.000000
, el opuesto aditivo –:@0.518275:0.759458:0.667020:0.759458:0.667020:0.742961:0.518275:0.742961:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
U:@0.667020:0.759574:0.678964:0.759574:0.678964:0.743105:0.667020:0.743105:0.000000
:@0.678964:0.759241:0.695012:0.759241:0.695012:0.744594:0.678964:0.744594:0.000000
R:@0.695012:0.758489:0.708922:0.758489:0.708922:0.745043:0.695012:0.745043:0.000000
2:@0.708922:0.753105:0.713875:0.753105:0.713875:0.743487:0.708922:0.743487:0.000000
 es único.:@0.713874:0.759458:0.779432:0.759458:0.779432:0.742961:0.713874:0.742961:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Demostración:@0.404243:0.784400:0.513535:0.784400:0.513535:0.767454:0.404243:0.767454:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
i):@0.404243:0.808633:0.414781:0.808633:0.414781:0.791919:0.404243:0.791919:0.000000:0.000000
   Supongamos que existe otro elemento nulo   de  , tal que para :@0.414781:0.808416:0.895914:0.808415:0.895914:0.791917:0.414781:0.791919:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
P:@0.745180:0.808532:0.753965:0.808532:0.753965:0.792063:0.745180:0.792063:0.000000
R:@0.780667:0.807447:0.794576:0.807447:0.794576:0.794001:0.780667:0.794001:0.000000
2:@0.794569:0.802063:0.799522:0.802063:0.799522:0.792445:0.794569:0.792445:0.000000
todo :@0.427684:0.827645:0.466946:0.827645:0.466946:0.811148:0.427684:0.811148:0.000000:0.000000:0.000000:0.000000:0.000000
,:@0.522290:0.827652:0.525045:0.827652:0.525045:0.811154:0.522290:0.811154:0.000000
,  y en particular para :@0.597367:0.827652:0.756307:0.827652:0.756307:0.811154:0.597367:0.811154:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
2:@0.513966:0.819616:0.518884:0.819616:0.518884:0.810067:0.513966:0.810067:0.000000
∈:@0.485593:0.828288:0.499329:0.828288:0.499329:0.812007:0.485593:0.812007:0.000000
+ =:@0.542560:0.828288:0.581245:0.828288:0.581245:0.812007:0.542560:0.812007:0.000000:0.000000:0.000000
U:@0.470777:0.827767:0.482721:0.827767:0.482721:0.811299:0.470777:0.811299:0.000000
P UU:@0.530827:0.827767:0.596213:0.827767:0.596213:0.811299:0.530827:0.811299:0.000000:0.000000:0.000000:0.000000
, , se tie-:@0.840919:0.827652:0.891766:0.827652:0.891766:0.811154:0.840919:0.811154:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
2:@0.832595:0.819616:0.837512:0.819616:0.837512:0.810067:0.832595:0.810067:0.000000
=∈:@0.775375:0.828288:0.817952:0.828288:0.817952:0.812007:0.775375:0.812007:0.000000:0.000000
UO:@0.760141:0.827767:0.801311:0.827767:0.801311:0.811299:0.760141:0.811299:0.000000:0.000000
ne :@0.427686:0.845002:0.449571:0.845002:0.449571:0.828505:0.427686:0.828505:0.000000:0.000000:0.000000
.  Como :@0.523163:0.845002:0.587002:0.845002:0.587002:0.828505:0.523163:0.828505:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
+=:@0.468238:0.845639:0.507346:0.845639:0.507346:0.829358:0.468238:0.829358:0.000000:0.000000
PO O:@0.456505:0.845118:0.522701:0.845118:0.522701:0.828649:0.456505:0.828649:0.000000:0.000000:0.000000:0.000000
O:@0.591376:0.845118:0.603281:0.845118:0.603281:0.828649:0.591376:0.828649:0.000000
:@0.603281:0.844786:0.619329:0.844786:0.619329:0.830139:0.603281:0.830139:0.000000
R:@0.619329:0.844034:0.633239:0.844034:0.633239:0.830587:0.619329:0.830587:0.000000
2:@0.633253:0.838651:0.638206:0.838651:0.638206:0.829033:0.633253:0.829033:0.000000
 es tal que :@0.638205:0.845002:0.727268:0.845002:0.727268:0.828505:0.638205:0.828505:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
,  realizando :@0.803548:0.845002:0.895906:0.845002:0.895906:0.828505:0.803548:0.828505:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
+=:@0.748738:0.845639:0.787423:0.845639:0.787423:0.829358:0.748738:0.829358:0.000000:0.000000
OU U:@0.734232:0.845118:0.802392:0.845118:0.802392:0.828649:0.734232:0.828649:0.000000:0.000000:0.000000:0.000000
2:@0.499515:0.856203:0.504433:0.856203:0.504433:0.846655:0.499515:0.846655:0.000000
=∈:@0.445070:0.864875:0.484872:0.864875:0.484872:0.848595:0.445070:0.848595:0.000000:0.000000
UP:@0.429831:0.864355:0.467880:0.864355:0.467880:0.847886:0.429831:0.847886:0.000000:0.000000
 y reemplazando en la igualdad precedente, se tiene :@0.508101:0.864239:0.895903:0.864239:0.895903:0.847741:0.508101:0.847741:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
. Así, :@0.494123:0.881590:0.532591:0.881590:0.532591:0.865092:0.494123:0.865092:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
+=:@0.444746:0.882226:0.481080:0.882226:0.481080:0.865945:0.444746:0.865945:0.000000:0.000000
OP P:@0.430239:0.881706:0.493314:0.881706:0.493314:0.865237:0.430239:0.865237:0.000000:0.000000:0.000000:0.000000
,  contradice la hipótesis. Por lo :@0.682931:0.881590:0.895900:0.881590:0.895900:0.865092:0.682931:0.865092:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
= +=+ =:@0.550011:0.882226:0.669166:0.882226:0.669166:0.865945:0.550011:0.865945:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
OP OO PP:@0.534776:0.881706:0.681404:0.881706:0.681404:0.865237:0.534776:0.865237:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
tanto, :@0.427699:0.898941:0.473512:0.898941:0.473512:0.882443:0.427699:0.882443:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
O:@0.473512:0.899056:0.485417:0.899056:0.485417:0.882588:0.473512:0.882588:0.000000
:@0.485417:0.898724:0.501465:0.898724:0.501465:0.884077:0.485417:0.884077:0.000000
R:@0.501465:0.897972:0.515375:0.897972:0.515375:0.884525:0.501465:0.884525:0.000000
2:@0.515365:0.892589:0.520318:0.892589:0.520318:0.882971:0.515365:0.882971:0.000000
 es único.:@0.520319:0.898941:0.585878:0.898941:0.585878:0.882443:0.520319:0.882443:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
ii):@0.404245:0.923637:0.419041:0.923637:0.419041:0.906922:0.404245:0.906922:0.000000:0.000000:0.000000
   Se propone como ejercicio.:@0.419041:0.923420:0.620883:0.923420:0.620883:0.906922:0.419041:0.906922:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Competencia :@0.199644:0.104916:0.297267:0.104916:0.297267:0.089444:0.199644:0.089444:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
matemática:@0.199644:0.117484:0.283707:0.117484:0.283707:0.102012:0.199644:0.102012:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Notaciones:@0.199880:0.142381:0.279493:0.142381:0.279493:0.126909:0.199880:0.126909:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.279493:0.141959:0.283275:0.141959:0.283275:0.126896:0.279493:0.126896:0.000000
1.:@0.153337:0.165352:0.165580:0.165352:0.165580:0.149880:0.153337:0.149880:0.000000:0.000000
 Por la propiedad asociativa :@0.165580:0.164930:0.347635:0.164930:0.347635:0.149867:0.165580:0.149867:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
de la adición “+” en  , escribi-:@0.153337:0.180772:0.353323:0.180770:0.353323:0.165707:0.153337:0.165708:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
R:@0.283202:0.179887:0.295902:0.179887:0.295902:0.167610:0.283202:0.167610:0.000000
2:@0.295908:0.174970:0.300431:0.174970:0.300431:0.166188:0.295908:0.166188:0.000000
remos :@0.153344:0.196612:0.197354:0.196612:0.197354:0.181549:0.153344:0.181549:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
U + V + W:@0.197354:0.196718:0.267960:0.196718:0.267960:0.181681:0.197354:0.181681:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 en vez de  :@0.267960:0.196612:0.340431:0.196612:0.340431:0.181549:0.267960:0.181549:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
U +  V + W:@0.153344:0.212560:0.229386:0.212560:0.229386:0.197523:0.153344:0.197523:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
(:@0.181752:0.212454:0.187187:0.212454:0.187187:0.197391:0.181752:0.197391:0.000000
) o de (:@0.229386:0.212454:0.276615:0.212454:0.276615:0.197391:0.229386:0.197391:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
U + V  + W:@0.276615:0.212560:0.352656:0.212560:0.352656:0.197523:0.276615:0.197523:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
):@0.314838:0.212454:0.320273:0.212454:0.320273:0.197391:0.314838:0.197391:0.000000
. :@0.352656:0.212454:0.358954:0.212454:0.358954:0.197391:0.352656:0.197391:0.000000:0.000000
Además, si :@0.153344:0.228296:0.226325:0.228296:0.226325:0.213233:0.153344:0.213233:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
U =  a, b , V =  c, d , :@0.226325:0.228402:0.360783:0.228402:0.360783:0.213365:0.226325:0.213365:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
(:@0.254733:0.228296:0.260168:0.228296:0.260168:0.213233:0.254733:0.213233:0.000000
):@0.282930:0.228296:0.288365:0.228296:0.288365:0.213233:0.282930:0.213233:0.000000
(:@0.322067:0.228296:0.327503:0.228296:0.327503:0.213233:0.322067:0.213233:0.000000
):@0.348962:0.228296:0.354398:0.228296:0.354398:0.213233:0.348962:0.213233:0.000000
W =  p, q ,:@0.153344:0.244244:0.222033:0.244244:0.222033:0.229207:0.153344:0.229207:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
(:@0.185727:0.244138:0.191162:0.244138:0.191162:0.229075:0.185727:0.229075:0.000000
) entonces :@0.213994:0.244138:0.288680:0.244138:0.288680:0.229075:0.213994:0.229075:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
U + V + W :@0.288680:0.244244:0.363068:0.244244:0.363068:0.229207:0.288680:0.229207:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
=  a + c + p, b + d + q:@0.153344:0.260086:0.296931:0.260086:0.296931:0.245049:0.153344:0.245049:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
(:@0.167064:0.259980:0.172499:0.259980:0.172499:0.244917:0.167064:0.244917:0.000000
).:@0.296931:0.259980:0.304882:0.259980:0.304882:0.244917:0.296931:0.244917:0.000000:0.000000
2.:@0.153344:0.283374:0.165587:0.283374:0.165587:0.267901:0.153344:0.267901:0.000000:0.000000
 Debido a la existencia de :@0.165587:0.282951:0.333622:0.282951:0.333622:0.267888:0.165587:0.267888:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
opuestos aditivos en  , dado :@0.153344:0.298793:0.351088:0.298792:0.351088:0.283729:0.153344:0.283730:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
R:@0.290052:0.297909:0.302752:0.297909:0.302752:0.285631:0.290052:0.285631:0.000000
2:@0.302750:0.292993:0.307273:0.292993:0.307273:0.284211:0.302750:0.284211:0.000000
U =  a, b:@0.153343:0.314740:0.209948:0.314740:0.209948:0.299703:0.153343:0.299703:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
(:@0.181751:0.314634:0.187186:0.314634:0.187186:0.299571:0.181751:0.299571:0.000000
):@0.209948:0.314634:0.215383:0.314634:0.215383:0.299571:0.209948:0.299571:0.000000
 :@0.215383:0.314436:0.234433:0.314436:0.234433:0.301063:0.215383:0.301063:0.000000:0.000000
R:@0.234433:0.313749:0.247133:0.313749:0.247133:0.301472:0.234433:0.301472:0.000000
2:@0.247132:0.308835:0.251655:0.308835:0.251655:0.300053:0.247132:0.300053:0.000000
, el opuesto adi-:@0.251654:0.314634:0.354307:0.314634:0.354307:0.299571:0.251654:0.299571:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
tivo de   es :@0.153343:0.330476:0.233809:0.330476:0.233809:0.315413:0.153343:0.315413:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
U:@0.202226:0.330582:0.213132:0.330582:0.213132:0.315545:0.202226:0.315545:0.000000
V =  a, –b:@0.233800:0.330582:0.308039:0.330582:0.308039:0.315545:0.233800:0.315545:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
(–:@0.261100:0.330476:0.276121:0.330476:0.276121:0.315413:0.261100:0.315413:0.000000:0.000000
), que se :@0.308038:0.330476:0.365276:0.330476:0.365276:0.315413:0.308038:0.315413:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
nota con – . Esto es,  :@0.153343:0.346318:0.297634:0.346318:0.297634:0.331255:0.153343:0.331255:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
U:@0.225568:0.346424:0.236473:0.346424:0.236473:0.331387:0.225568:0.331387:0.000000
–:@0.153343:0.362160:0.162930:0.362160:0.162930:0.347097:0.153343:0.347097:0.000000
U =  a, –b:@0.162930:0.362266:0.238285:0.362266:0.238285:0.347229:0.162930:0.347229:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
(–:@0.191338:0.362160:0.206359:0.362160:0.206359:0.347097:0.191338:0.347097:0.000000:0.000000
), con lo que la :@0.238285:0.362160:0.337335:0.362160:0.337335:0.347097:0.238285:0.347097:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
citada propiedad se expresa del :@0.153343:0.378002:0.361201:0.378002:0.361201:0.362939:0.153343:0.362939:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
modo siguiente: para cada  :@0.153343:0.393844:0.331690:0.393844:0.331690:0.378781:0.153343:0.378781:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
U :@0.153343:0.409791:0.168031:0.409791:0.168031:0.394755:0.153343:0.394755:0.000000:0.000000
 :@0.168031:0.409488:0.187081:0.409488:0.187081:0.396115:0.168031:0.396115:0.000000:0.000000
R:@0.187081:0.408801:0.199781:0.408801:0.199781:0.396524:0.187081:0.396524:0.000000
2:@0.199782:0.403887:0.204304:0.403887:0.204304:0.395105:0.199782:0.395105:0.000000
 existe – :@0.204303:0.409686:0.261539:0.409686:0.261539:0.394623:0.204303:0.394623:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
U :@0.261539:0.409791:0.276227:0.409791:0.276227:0.394755:0.261539:0.394755:0.000000:0.000000
 :@0.276227:0.409488:0.295277:0.409488:0.295277:0.396115:0.276227:0.396115:0.000000:0.000000
R:@0.295277:0.408801:0.307977:0.408801:0.307977:0.396524:0.295277:0.396524:0.000000
2:@0.307977:0.403887:0.312499:0.403887:0.312499:0.395105:0.307977:0.395105:0.000000
, tal :@0.312500:0.409686:0.339008:0.409686:0.339008:0.394623:0.312500:0.394623:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
que  :@0.153346:0.425528:0.185570:0.425528:0.185570:0.410465:0.153346:0.410465:0.000000:0.000000:0.000000:0.000000:0.000000
U +  –U  = :@0.185570:0.425633:0.262421:0.425633:0.262421:0.410597:0.185570:0.410597:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
(:@0.213978:0.425528:0.219414:0.425528:0.219414:0.410465:0.213978:0.410465:0.000000
) 0.:@0.239484:0.425528:0.272694:0.425528:0.272694:0.410465:0.239484:0.410465:0.000000:0.000000:0.000000:0.000000
Grupo conmutativo:@0.153346:0.448921:0.293644:0.448921:0.293644:0.433449:0.153346:0.433449:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 ( , +):@0.293644:0.448499:0.341679:0.448497:0.341679:0.433434:0.293644:0.433436:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
R:@0.302861:0.447614:0.315561:0.447614:0.315561:0.435337:0.302861:0.435337:0.000000
2:@0.315556:0.442698:0.320078:0.442698:0.320078:0.433916:0.315556:0.433916:0.000000
El conjunto   en el que se :@0.153343:0.471468:0.332409:0.471468:0.332409:0.456405:0.153343:0.456405:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
R:@0.231619:0.470584:0.244319:0.470584:0.244319:0.458306:0.231619:0.458306:0.000000
2:@0.244318:0.465668:0.248840:0.465668:0.248840:0.456886:0.244318:0.456886:0.000000
ha definido la igualdad de :@0.153345:0.487310:0.324898:0.487310:0.324898:0.472247:0.153345:0.472247:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
elementos de  , junto con la :@0.153345:0.503152:0.349719:0.503152:0.349719:0.488089:0.153345:0.488089:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
R:@0.244581:0.502268:0.257281:0.502268:0.257281:0.489990:0.244581:0.489990:0.000000
2:@0.257281:0.497352:0.261803:0.497352:0.261803:0.488570:0.257281:0.488570:0.000000
operación adición “+”, tiene :@0.153344:0.518994:0.335858:0.518994:0.335858:0.503931:0.153344:0.503931:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
estructura algebraica de grupo :@0.153344:0.534836:0.354503:0.534836:0.354503:0.519773:0.153344:0.519773:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
abeliano o conmutativo. Esto :@0.153344:0.550678:0.346500:0.550678:0.346500:0.535615:0.153344:0.535615:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
es, la operación adición “+” es :@0.153344:0.566520:0.349436:0.566520:0.349436:0.551457:0.153344:0.551457:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
cerrada en   y satisface las :@0.153344:0.582362:0.334538:0.582362:0.334538:0.567299:0.153344:0.567299:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
R:@0.225004:0.581478:0.237704:0.581478:0.237704:0.569200:0.225004:0.569200:0.000000
2:@0.237704:0.576562:0.242226:0.576562:0.242226:0.567780:0.237704:0.567780:0.000000
propiedades desde el literal  . :@0.153345:0.598204:0.343577:0.598204:0.343577:0.583141:0.153345:0.583141:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
i:@0.333815:0.598310:0.337280:0.598310:0.337280:0.583273:0.333815:0.583273:0.000000
hasta el literal  . de las propie-:@0.153345:0.614046:0.349929:0.614046:0.349929:0.598983:0.153345:0.598983:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
iv:@0.245304:0.614152:0.255823:0.614152:0.255823:0.599115:0.245304:0.599115:0.000000:0.000000
dades en  .:@0.153345:0.629888:0.234820:0.629888:0.234820:0.614825:0.153345:0.614825:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
R:@0.215084:0.629004:0.227784:0.629004:0.227784:0.616726:0.215084:0.616726:0.000000
2:@0.227783:0.624088:0.232306:0.624088:0.232306:0.615306:0.227783:0.615306:0.000000