90:@0.058783:0.510692:0.077690:0.510692:0.077690:0.494068:0.058783:0.494068:0.000000:0.000000
4. :@0.115281:0.713503:0.134022:0.713503:0.134022:0.696367:0.115281:0.696367:0.000000:0.000000:0.000000
Calcula:@0.148525:0.713503:0.203955:0.713503:0.203955:0.696879:0.148525:0.696879:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 y :@0.203955:0.713503:0.224871:0.713503:0.224871:0.697114:0.203955:0.697114:0.000000:0.000000:0.000000
verifica:@0.229607:0.713503:0.284705:0.713503:0.284705:0.696879:0.229607:0.696879:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 si se cumple la igualdad  :@0.284705:0.713503:0.491887:0.713503:0.491887:0.697114:0.284705:0.697114:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
propuesta en cada literal: :@0.148525:0.730100:0.336688:0.730100:0.336688:0.713711:0.148525:0.713711:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.115281:0.753819:0.119004:0.753819:0.119004:0.736683:0.115281:0.736683:0.000000
U:@0.211676:0.753819:0.222733:0.753819:0.222733:0.737457:0.211676:0.737457:0.000000
 :@0.222733:0.753819:0.226455:0.753819:0.226455:0.736683:0.222733:0.736683:0.000000
= (4, 3)    = (8, 2)    = (5, 0):@0.226455:0.753819:0.424700:0.753819:0.424700:0.737430:0.226455:0.737430:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.284539:0.753819:0.293661:0.753819:0.293661:0.737457:0.284539:0.737457:0.000000
W:@0.355781:0.753819:0.370652:0.753819:0.370652:0.737457:0.355781:0.737457:0.000000
a) :@0.148525:0.793719:0.167247:0.793719:0.167247:0.776818:0.148525:0.776818:0.000000:0.000000:0.000000
–(–  –   –  ) =   +   + :@0.181768:0.793719:0.356923:0.793719:0.356923:0.777330:0.181768:0.777330:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.205079:0.793719:0.274699:0.793719:0.274699:0.777358:0.205079:0.777358:0.000000:0.000000:0.000000:0.000000:0.000000
U:@0.298636:0.793719:0.309693:0.793719:0.309693:0.777358:0.298636:0.777358:0.000000
V:@0.328747:0.793719:0.337869:0.793719:0.337869:0.777358:0.328747:0.777358:0.000000
W:@0.356923:0.793719:0.371794:0.793719:0.371794:0.777358:0.356923:0.777358:0.000000
 :@0.148523:0.904613:0.150456:0.904613:0.150456:0.895075:0.148523:0.895075:0.000000
b) :@0.540917:0.100505:0.560948:0.100505:0.560948:0.083604:0.540917:0.083604:0.000000:0.000000:0.000000
–(– ) – (  –  ) =   –   + :@0.574161:0.100505:0.757313:0.100505:0.757313:0.084116:0.574161:0.084116:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.597472:0.100505:0.608528:0.100505:0.608528:0.084144:0.597472:0.084144:0.000000
V W:@0.635580:0.100505:0.676858:0.100505:0.676858:0.084144:0.635580:0.084144:0.000000:0.000000:0.000000
U V:@0.700795:0.100505:0.738259:0.100505:0.738259:0.084144:0.700795:0.084144:0.000000:0.000000:0.000000
W:@0.757313:0.100505:0.772184:0.100505:0.772184:0.084144:0.757313:0.084144:0.000000
 :@0.540917:0.206361:0.542851:0.206361:0.542851:0.196823:0.540917:0.196823:0.000000
c) :@0.540917:0.240156:0.558553:0.240156:0.558553:0.223255:0.540917:0.223255:0.000000:0.000000:0.000000
–(–  –(–  +  )) =   +   – :@0.574161:0.240156:0.764260:0.240156:0.764260:0.223767:0.574161:0.223767:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.597472:0.240156:0.606593:0.240156:0.606593:0.223795:0.597472:0.223795:0.000000
W:@0.633940:0.240156:0.648811:0.240156:0.648811:0.223795:0.633940:0.223795:0.000000
U:@0.667865:0.240156:0.678922:0.240156:0.678922:0.223795:0.667865:0.223795:0.000000
V:@0.707743:0.240156:0.716864:0.240156:0.716864:0.223795:0.707743:0.223795:0.000000
U W:@0.735919:0.240156:0.779131:0.240156:0.779131:0.223795:0.735919:0.223795:0.000000:0.000000:0.000000
 :@0.540917:0.346011:0.542851:0.346011:0.542851:0.336472:0.540917:0.336472:0.000000
d) :@0.540917:0.379805:0.560985:0.379805:0.560985:0.362905:0.540917:0.362905:0.000000:0.000000:0.000000
–(–  –(  –  )) =   –   – :@0.574161:0.379805:0.757258:0.379805:0.757258:0.363417:0.574161:0.363417:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
W V U:@0.597472:0.379805:0.667939:0.379805:0.667939:0.363444:0.597472:0.363444:0.000000:0.000000:0.000000:0.000000:0.000000
U W V:@0.696760:0.379805:0.766379:0.379805:0.766379:0.363444:0.696760:0.363444:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.540917:0.485662:0.542851:0.485662:0.542851:0.476123:0.540917:0.476123:0.000000
e) :@0.540917:0.519456:0.559787:0.519456:0.559787:0.502556:0.540917:0.502556:0.000000:0.000000:0.000000
–(  +  ) = –  – :@0.574161:0.519456:0.694733:0.519456:0.694733:0.503068:0.574161:0.503068:0.000000:0.000000:0.000000:0.000000: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.588258:0.519456:0.599314:0.519456:0.599314:0.503095:0.588258:0.503095:0.000000
W:@0.618369:0.519456:0.633240:0.519456:0.633240:0.503095:0.618369:0.503095:0.000000
U W:@0.666391:0.519456:0.709604:0.519456:0.709604:0.503095:0.666391:0.503095:0.000000:0.000000:0.000000
 :@0.540917:0.625313:0.542851:0.625313:0.542851:0.615774:0.540917:0.615774:0.000000
f) :@0.540917:0.659107:0.557742:0.659107:0.557742:0.642207:0.540917:0.642207:0.000000:0.000000:0.000000
–(–(–  +  )) =   + :@0.574161:0.659107:0.709733:0.659107:0.709733:0.642718:0.574161:0.642718:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.611569:0.659107:0.620691:0.659107:0.620691:0.642746:0.611569:0.642746:0.000000
U:@0.639745:0.659107:0.650801:0.659107:0.650801:0.642746:0.639745:0.642746:0.000000
U:@0.679622:0.659107:0.690679:0.659107:0.690679:0.642746:0.679622:0.642746:0.000000
V:@0.709733:0.659107:0.718855:0.659107:0.718855:0.642746:0.709733:0.642746:0.000000
 :@0.540917:0.764962:0.542851:0.764962:0.542851:0.755424:0.540917:0.755424:0.000000
g) :@0.540917:0.798758:0.560838:0.798758:0.560838:0.781858:0.540917:0.781858:0.000000:0.000000:0.000000
–[(U + W)–(U + V)+(V + W)] = 2U + 2V:@0.574161:0.798758:0.853000:0.798758:0.853000:0.782369:0.574161:0.782369:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.540917:0.904613:0.542851:0.904613:0.542851:0.895075:0.540917:0.895075:0.000000
3. :@0.115354:0.100407:0.134095:0.100407:0.134095:0.083271:0.115354:0.083271:0.000000:0.000000:0.000000
Realiza:@0.148597:0.100407:0.202130:0.100407:0.202130:0.083783:0.148597:0.083783:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 las operaciones descritas en cada lite-:@0.202130:0.100407:0.487574:0.100407:0.487574:0.084018:0.202130:0.084018:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
ral, si se dan los siguientes elementos de :@0.148597:0.117003:0.448483:0.117003:0.448483:0.100614:0.148597:0.100614:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
:@0.448380:0.117588:0.461685:0.117588:0.461685:0.100839:0.448380:0.100839:0.000000
2:@0.462464:0.109055:0.467676:0.109055:0.467676:0.099557:0.462464:0.099557:0.000000
.:@0.467949:0.117003:0.471155:0.117003:0.471155:0.100614:0.467949:0.100614:0.000000
 :@0.115354:0.166640:0.119077:0.166640:0.119077:0.149504:0.115354:0.149504:0.000000
1, 5:@0.220382:0.150298:0.242993:0.150298:0.242993:0.134628:0.220382:0.134628:0.000000:0.000000:0.000000:0.000000
.:@0.230959:0.150298:0.234166:0.150298:0.234166:0.134628:0.230959:0.134628:0.000000
...:@0.249553:0.150298:0.258840:0.150298:0.258840:0.134628:0.249553:0.134628:0.000000:0.000000:0.000000
1:@0.294516:0.141778:0.303509:0.141778:0.303509:0.126109:0.294516:0.126109:0.000000
2:@0.293724:0.161224:0.302717:0.161224:0.302717:0.145554:0.293724:0.145554:0.000000
, 3:@0.305499:0.150298:0.321660:0.150298:0.321660:0.134628:0.305499:0.134628:0.000000:0.000000:0.000000
. .:@0.309627:0.150298:0.332201:0.150298:0.332201:0.134628:0.309627:0.134628:0.000000:0.000000:0.000000
..:@0.332035:0.150298:0.338282:0.150298:0.338282:0.134628:0.332035:0.134628:0.000000:0.000000
4:@0.379302:0.141778:0.388295:0.141778:0.388295:0.126109:0.379302:0.126109:0.000000
5:@0.379505:0.161224:0.388497:0.161224:0.388497:0.145554:0.379505:0.145554:0.000000
, –:@0.391814:0.150298:0.411126:0.150298:0.411126:0.134628:0.391814:0.134628:0.000000:0.000000:0.000000
.:@0.395942:0.150298:0.399148:0.150298:0.399148:0.134628:0.395942:0.134628:0.000000
6:@0.415475:0.141778:0.424468:0.141778:0.424468:0.126109:0.415475:0.126109:0.000000
7:@0.415107:0.161224:0.424099:0.161224:0.424099:0.145554:0.415107:0.145554:0.000000
(:@0.215095:0.153430:0.193590:0.153430:0.193590:0.133496:0.215095:0.133496:0.000000
):@0.242736:0.153430:0.221231:0.153430:0.221231:0.133496:0.242736:0.133496:0.000000
=:@0.202425:0.150975:0.142535:0.150975:0.142535:0.135403:0.202425:0.135403:0.000000
=:@0.272422:0.150975:0.212533:0.150975:0.212533:0.135403:0.272422:0.135403:0.000000
⎛:@0.284668:0.141350:0.291744:0.141350:0.291744:0.125777:0.284668:0.125777:0.000000
⎝:@0.284668:0.161500:0.291744:0.161500:0.291744:0.145927:0.284668:0.145927:0.000000
⎜:@0.284668:0.152234:0.291744:0.152234:0.291744:0.136661:0.284668:0.136661:0.000000
⎞:@0.321781:0.141350:0.328857:0.141350:0.328857:0.125777:0.321781:0.125777:0.000000
⎠:@0.321781:0.161500:0.328857:0.161500:0.328857:0.145927:0.321781:0.145927:0.000000
⎟:@0.321781:0.152234:0.328857:0.152234:0.328857:0.136661:0.321781:0.136661:0.000000
=⎜:@0.357273:0.150975:0.376603:0.152234:0.376603:0.136661:0.357273:0.135403:0.000000:0.000000
⎛:@0.369527:0.141350:0.376603:0.141350:0.376603:0.125777:0.369527:0.125777:0.000000
⎝:@0.369527:0.161500:0.376603:0.161500:0.376603:0.145927:0.369527:0.145927:0.000000
⎞:@0.426855:0.141350:0.433931:0.141350:0.433931:0.125777:0.426855:0.125777:0.000000
⎠:@0.426855:0.161500:0.433931:0.161500:0.433931:0.145927:0.426855:0.145927:0.000000
⎟:@0.426855:0.152234:0.433931:0.152234:0.433931:0.136661:0.426855:0.136661:0.000000
U:@0.187867:0.150298:0.198924:0.150298:0.198924:0.134905:0.187867:0.134905:0.000000
V:@0.258224:0.150298:0.267346:0.150298:0.267346:0.134905:0.258224:0.134905:0.000000
W:@0.337693:0.150298:0.352564:0.150298:0.352564:0.134905:0.337693:0.134905:0.000000
a) :@0.148595:0.206548:0.167317:0.206548:0.167317:0.189648:0.148595:0.189648:0.000000:0.000000:0.000000
U:@0.181838:0.206548:0.192895:0.206548:0.192895:0.190187:0.181838:0.190187:0.000000
 +   – :@0.192895:0.206548:0.238356:0.206548:0.238356:0.190159:0.192895:0.190159:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
V W:@0.211949:0.206548:0.253227:0.206548:0.253227:0.190187:0.211949:0.190187:0.000000:0.000000:0.000000
 :@0.148595:0.294979:0.150528:0.294979:0.150528:0.285441:0.148595:0.285441:0.000000
b) :@0.148595:0.328774:0.168625:0.328774:0.168625:0.311874:0.148595:0.311874:0.000000:0.000000:0.000000
U V W:@0.181838:0.328774:0.251458:0.328774:0.251458:0.312413:0.181838:0.312413:0.000000:0.000000:0.000000:0.000000:0.000000
 –   – :@0.192895:0.328774:0.236587:0.328774:0.236587:0.312385:0.192895:0.312385:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.148595:0.419720:0.150528:0.419720:0.150528:0.410181:0.148595:0.410181:0.000000
c) :@0.148595:0.453516:0.166230:0.453516:0.166230:0.436615:0.148595:0.436615:0.000000:0.000000:0.000000
–  –   – :@0.181838:0.453516:0.245800:0.453516:0.245800:0.437127:0.181838:0.437127:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
U V W:@0.191052:0.453516:0.260671:0.453516:0.260671:0.437155:0.191052:0.437155:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.148595:0.541947:0.150528:0.541947:0.150528:0.532409:0.148595:0.532409:0.000000
d) :@0.148595:0.575742:0.168662:0.575742:0.168662:0.558841:0.148595:0.558841:0.000000:0.000000:0.000000
–  +   – W:@0.181838:0.575742:0.262035:0.575742:0.262035:0.559353:0.181838:0.559353:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
U:@0.191052:0.575742:0.202108:0.575742:0.202108:0.559381:0.191052:0.559381:0.000000
V:@0.221163:0.575742:0.230284:0.575742:0.230284:0.559381:0.221163:0.559381:0.000000
 :@0.148595:0.666688:0.150528:0.666688:0.150528:0.657149:0.148595:0.657149:0.000000