[n]  ,   a * [b+e  c*d+[n]

                                                                                  

,, [n]  a * [ b*c + d * e [n] 

                                                           p

 [n]  ,   a * [b+e  c*d+[n]

                                                

                                                          p                                             

,, [n]  a * [ b*c + d * e [n] 

                                                           p                                             

,, [n]  a * [ b*c + d * e [n] 

----------------------------------------------------- 

                            p

                                                             p

 [n]  ,   a * [b+e  c*d+[n]

----------------------------------------------------

                          p

Que exista um elemento  tal que , 

            

 [n]  ,   a * [b+e  c*d+[n]

-----------------------------------------------   

                        1/p/pP

                                                                                  

,, [n]  a * [ b*c + d * e [n] 

-----------------------------------------------   

                        1/p/pP

                                                           p

 [n]  ,   a * [b+e  c*d+[n]

-----------------------------------------------   

                        1/p/pP

                                                

                                                          p                                             

,, [n]  a * [ b*c + d * e [n]

------------------------------------------------   

                        1/p/pP

                                                           p                                             

,, [n]  a * [ b*c + d * e [n] 

----------------------------------------------------- 

                            1/ p/pP

                                                           1/p/pP/px

 [n]  ,   a * [b+e  c*d+[n]

-----------------------------------------------   

                        1/p/pP

                                                       1/p/pP

                           

,, [n]  a * [ b*c + d * e [n] 

-----------------------------------------------   

                        1/p/pP

                                                           1/p/pP

 [n]  ,   a * [b+e  c*d+[n]

-----------------------------------------------   

                        1/p/pP

                                                

                                                          1/p/pP                                            

,, [n]  a * [ b*c + d * e [n]

------------------------------------------------   

                        1/p/pP

                                                        1/p/pP                                               

,, [n]  a * [ b*c + d * e [n] 

----------------------------------------------------- 

                            1/ p/pP