Matthias Beck

Ross Geoghegan

The Art of Proof

Basic Training for Deeper
Mathematics

13
 

Editorial Board






  







Matthias Beck Ross Geoghegan
Department of Mathematics Department of Mathematical Sciences
San Francisco State University Binghamton University
San Francisco, CA 94132 State University of New York
USA Binghamton, NY 13902
beck@math.sfsu.edu USA
ross@math.binghamton.edu

Editorial Board
S. Axler K.A. Ribet
Mathematics Department Mathematics Department
San Francisco State University University of California at Berkeley
San Francisco, CA 94132 Berkeley, CA 94720-3840
USA USA
axler@sfsu.edu ribet@math.berkeley.edu





 







© Matthias Beck and Ross Geoghegan 2010
                  
             
               
              
         
                 
                     
  

   


       
  

     

   
        


        

           

           
           
           
          
           
          
         
   
          

            

              
             

       

                
           
             
             


  

            
   
             

        

           
     
            
          
            

          
   
              
               
            
              
               
           

  

       

         

    
    
   
  
  
   
            
            
             
          
             

             
            
             
            

             
              
          
         
               
 

                  
               
               
                  
               
                
    
               

             
   
            

           
             
      

             

             
                 
          

            

       

            
         

           
          
            
              
         
    

              
 



              

  

          
          
          
             
           

               
              
             
        
          
            
          
            
             
         
             
   
             
           
  

   

  
 


                                                             

                                                   

                                                   

                                                     

                                                         
                                                     
                                            
                                                  
                                        

                                      

                                              
                                           
                                                   
                                     

                                                

                                                 
                                                   
                                        

                                                       
                                                   
                                                  
                                            
                                          
                                       
                                              


 

                                      

                                         
                                        
                                             
                                                   

                         

                                          
                                         
                                           
                                               

                                              

                                
           

                                                 

                                                    
                                                     
                                
                                      
                                                

                                                  
                                       
                                   
                                 

                         

                                      
                                               
                                                    
                                                      
                                                 

                                     

                                             
                                            
                                           

                                               

                                                    

                                                      
 

                       

                                           
                                         

                                       

                                                    

                                                       

                                   

                                             
                                         
                                            

                                          

                                            

                                                

                                          

                                                

                                                     
                                                  
                                                 
                                       
                                                     
                                                
                                      
                                                   

                                              

                                                    
                                   
                                               

                                

                          
                                              

                                     

                                                       

                                                              
   

              


             
           
           
          
     
              

                
              

        

            
          
              
           
             
              
             
     


    

             
            
            

            
           
             

          

                   
                

            
                 
 

             
             
               
              
                
          

                
        
             
           
          
                  
    
            
            
  
  

             

                 
  
        

            
              
             
  
            
             
           
               
               
          
       

         

             

              
        
              
           
          
              


   

              
              
   
              
             
               

   

        

   

             
            
           
             
               
               
              
 
             
             
           

             
             
              
             
               

  

    

               

              
               
            
   

             
            
             
           
  

        

           
             
            
   



          

             
          
            
            
              
               
           
             
       
               
  
           
            

          
             
             
            
            
             

           

            
 

    

              
             
             

              
              
               
               

                 
   

             
           
              
                

             
            
          
            
               
             
             
              
            
        
                

       

   
 


              


                
                
          
            
                    
                 
              
                
             
          

M. Beck and R. Geoghegan, The Art of Proof: Basic Training for Deeper Mathematics, 3
Undergraduate Texts in Mathematics, DOI 10.1007/978-1-4419-7023-7_1,
© Matthias Beck and Ross Geoghegan 2010

    
    
      
   
   
   
   
    
      
     
   
   
     
 
    
      
     
  
  
   
    
  
  
              
              
            
            
            
            
               
 
               
              
     
 
              
            
                
           
         
           
               
            
         
          
                
   
                   
   
                
     
                      

   

                 
                      
                    
    
    
    
   
     
              
     
                  
     
                  
    

                      

                  
   
         

  

                     
                 
                 
   
                       
                    
                     
    

                
              
 

                 

                  

                
                
            
  
               

                

 
  

               
               
 
                 
                 
                    
                 
               
                
               
                
                    


           

                 

             

                    

                      

            

              
 

            
   
  

                 

            
                
                  
            
                
               
                
              
   

                
             
                  
                
                
               
             
     

                         
              
    
    
                
             
                        
           
   
            
        

             

              
             
        

                       
        
    
   
                     
         

            

               

                       
                    

           
      
     
   
   

                

 
      
                

                      
       
    
   
               
      

             

                
                
      

             
             
            

      
               
                 
                  


        

          

       

             

    

             

               

       

               

   

              

    
    
            
 
   
 
        
   

                   
  
          

           

                 
                  
             
  
  
                  

                    

          
                

           

             

       

        

               

     

         
    
       

                 


    
   
    
    
     
    
    
   
     
   
   
  
           
                
                           
              
               
        
             
                      
                
        
     
               
                   
                     
                    
                  
               
                
            
                
    
              
            
             
              
            
 
     
      
       
            
   

           
          
                    
   
           
    
        
   
  
              
 
         
 
         
 
          
 
         
 
         
 
        

      

                      
              
       
               
            
                
            

  

            
            
             
            
               
 
              
           
  

             
            
           
                 
            
            
         
               
          
                
            
             

              

          

              
          
              
           
            
              
           
              
           
               

             
           
        

            
           

              
               
  

                  
              
 
   

                  

                    
                     
     
         

           
                            
                 
                     
    
                     
               
               
              


M. Beck and R. Geoghegan, The Art of Proof: Basic Training for Deeper Mathematics, 
Undergraduate Texts in Mathematics, DOI 10.1007/978-1-4419-7023-7_2,
© Matthias Beck and Ross Geoghegan 2010

      
    
      
      
     
    
   
   
   
     
    
    
     
   
     
  
             
       
           
         
       
  
               
             
          
               
    
                
                    
                 
       
                     
             
             
              
                
     
                  
                
                 
      
    
       
      
           
             
                  
      
    

               
               
                 
            
              
              

                
                   
                   
       
               

                  
                    
      
   
                  
                   
   
                   
                
                   
                  
  
              
 
   
   

   

                
                     
   
  
                   
    
    

                  

                    


      

        
    

                
                

                  

    
  
             
 
      
            
                
               
            

              

     
     
   
   
       

   

       

         

            
    
                 
    
      

              

               

 

                  

  
  

                

               

    

             

      

          
            
            
         

                 
     
    

      

     

   
     
     

       

   

         

     
     
 
   
    
                 
     
    
    
              

      

 

             

                
      

            
       

        

 
  
        

           

        

   
        

  

            

       

   
        

   

               

        

   
              
    
    
               

      

            
  
       
  

          

                    

       

              
        
 
 
 
 
 
 
   
                     
          
               
            
                

             

 
                  
  
             
           

             

      

   

                 
               
                
                   
      

     

                      
      
      

              

   
                
     
                        
    
                
    
           
              
   

                             
                         
        
     
                   
 
   
                    
    
     

     
              
   
         
     
 
       
              
          

         

       

                 
   
                     

              

          

            


                
        
    

    

               

                  
             
              
                  
           
           

        

            

             

         

               

                  

             

         

    

              

  
               


   

                        
                  
   
             

              
               
   
      

       

          

           

 

                   
   
           
   
   
       
     
          
         
     

                 
  
                  
             
               
                 
                  
            
                 
     

                
         


        

               

               

 
              
             

             

             

  
    

                  
  
    
                 

                
   
   
                   
               
  

                  
              
 
   

      

             

             
                
               
           
             
              
     

M. Beck and R. Geoghegan, The Art of Proof: Basic Training for Deeper Mathematics, 
Undergraduate Texts in Mathematics, DOI 10.1007/978-1-4419-7023-7_3,
© Matthias Beck and Ross Geoghegan 2010

    
     
   
    
   
   
     
    
     
                
     
          
                    
     
                 
                 
          
            
              
             
     
             
                  
 
         
               
      
             
               
             
              
                  
             
             
               
                  
    
 

                
           

         


          
               


               

          

       

             
    

 
      
     
        
          

              
       
               
               
             
             

                 
    

              

                  
          
      

          


                 

           

 

                 
                
     
  
         
               

                    
              
               
               
       

          

      
     
   
    
              
          
          
            
             
              
   
         
             
                 
        

           

           
   

          

     
  

        

           

                
 

                

              
   
              
   
            
      
             
  

 

            


           

                   
         

                     
      

           

             
             
                
             
               
                
           

            

           

     
          
          
 
      

                

            

             

     

              
    
            

          
        
           
                  
                   

  

               
                  
            

      

    
             
              
           

            
         
    
              
               
             
               
   

                  
   
        
  
               
             
             

                  
     
   
                

             

               

                
              

                 
         

             
       

              
               
  

                  
              
 


            

               
                           
           
                         
                       
    


M. Beck and R. Geoghegan, The Art of Proof: Basic Training for Deeper Mathematics, 
Undergraduate Texts in Mathematics, DOI 10.1007/978-1-4419-7023-7_4,
© Matthias Beck and Ross Geoghegan 2010

    
     
   

     
  
   
    
   
  
       
    
  
 
                   
                  
                 
   
                       
      
                 
    
      
           
  
           

    
    
   
                 
                      
                      
               
                     
                
   
  

    
    
   
               
        
       
             
     
  

      
     
    

     

        

       
     

      

         

     

       

         

 
             

   

         
     
           
                            
                     
                     
     
             
     
    
     
            
   
        

               

      

                   


    

                   
                    
 
         
                     

   

                
        


         

         

   
      

         

      
     
     

                 
              
                
               
             
                    
          
      
                      
   
    
    
                  
     

       

     

             


    

   

     

      
       
          

        

             

       

 

  

            

    


  
   
    
      
      

          
    




          


                   

            


 
              



                
                        
             
  
   

                  
 
 
        
 

              


    


               


     


                    

     
  
         
  

  
               
  

                        
    
        
    
    
     
 
   

                    
       
 
    
 

     

         

            

          
    

                    

          
                        

             
                
    

   

              


                
    

           

                

                    
                 
                
              
             

          

                  

           

           

               
          
           
                   

                   

             

                    

   

                 
         

                    

     
       

          
        
                 
       

             

           

  
        
   

            
   

         
             





 

          
           
    
     
      



                  
          

              


  
       

 
    

                

               

              
   


     
 
 


               
        
 
 

  


 
       
 
   

 
   
      
    
 
    

    

  
     
      
    
     
   
    

 
       
  
    
 
 

         
 
 
       
  
    
 
 

         

   

   

     

 

   

               



         
 

             

           

         

       
      
        

  

   
          

     

  
  
      

 
  
                       

 
             
            
      
   

     

   
                
 

    

          

                
               

        

               
     

   

                    

                 
 

       

             

      

                  

            

  

    

   
                    
    
              

   

              
           
   

    

           

      

               
   
     
         
  
  

 
                      
                    
         
    
                     


       

 

    

 
 

 

   
  

 

      
  
 

     

  
 
  

  
   
    
 

    
     
 

           

         

         
   

            

 

             

                    

    

 


              
               
  

                  
              
 
    

    

             
               
          
            
         

M. Beck and R. Geoghegan, The Art of Proof: Basic Training for Deeper Mathematics, 
Undergraduate Texts in Mathematics, DOI 10.1007/978-1-4419-7023-7_5,
© Matthias Beck and Ross Geoghegan 2010
       

    

   
  
      
       
      
       
    
             
                    
             
                   
      
   
                
 

      

  
         

               

                    

             

              

                 
 
     

              
  
            
                    
                 

               

                 

    
    
   
    
         
            
                         
          
     

                    

                    
   

            

 

      
        
        
          
     
       
          

              
            

          

  
     
   

       

      

   
        
            

               
                 
   

 

    

  
                  
    
                        
    
      
       

             

          

                
              

                    
              
      
 
                    
                 
           
                     
        

                  

              
                 

   

        

        

      

        

             
 

                     

      
     
 
                 

             

                 
   
    

    
    
    

             
               
                  
     

    

          
        
        
        

          

    
          

                

                 

              
 
          

     

        

         

           

              
         

             
            

         
     
          

  
     
       
    
   
    
  
 
  
   
   
   
  
      
             
      
                  
 
   
 
             
 
               
                   
    
                     

  
            
           
                 
    
      
                 
      
             
      
        
        
              
             
  

         
         

 

              

   

        

        
             

             

     
      
                   
     
               
      

         

    
                 
     
    
                  
             
 


 
  

            

                
             

 
      

                  

              
             

    
        
         
    
         

         

              
               
  

                  
              
 
    

           

   

             
         
                
                
             
            
               
            


           
          
              

M. Beck and R. Geoghegan, The Art of Proof: Basic Training for Deeper Mathematics, 
Undergraduate Texts in Mathematics, DOI 10.1007/978-1-4419-7023-7_6,
© Matthias Beck and Ross Geoghegan 2010
       

  

                    

                   

           

      
     
      
 
  

                  

           

              


      
      
         

            

      

          

  

   
     
  
     
     
   
    
   
   
   

              
            
             
             
         
             
  
            
             
           
   

             

  
         

        

                   
                   
  
               
          
                 
 

             
    
          

              
              

                         
            
        

            

   

              
                
               

          

    
     
 
    

     

          

      
     
       
       

      
      
              
      
      
        

             

           
        
           

                     

      

       

             
  

                


            
       

 
             
             


              
  

       

          
                
               
    

         

    

   

              

             
              
    

                 
        
   
             
    
  
                   
   

              
                  

                

                
                
                

                
    

              

                

            

  
      
 
          
    
                  
   
                    

               
                 
          
     
             
                    
    
       

                       

         

      
 
        

                
        

   

           

    

             

             
    
       
             
    
              

    

                   

                  
       

            
  

                
              

      

      
          
     

               

     

      

             
              

    

 
  
       
                  
      

         

 
                
      
              
            
   
                      
                
      
                    
                 

     
                

              

              

        

           
 
           

                
                 
    
       

        

   

            

              
               
        

  

                   

                          
                    
                  

   
  
 
   
  
    
         
            
 
              
   
               

              
            

     

       
           
            

            
         
        

               

              

                

   

        
  
      
    
                
                 
              
         

      

                    

            

                  
   

                       

        

          

            

       

     

                      
         
    
    
               
   
                   
  

                    

         


                 

                      

               
       

    
 
    

                       

   
         
         

     

                 
   
       

                

 
    

    

  
                   
    
                     
     
    
             
 

            

            
   

              
              
        

              
               
  

                  
              
 
   

                 
  
   

            

               

                  
                  
               
              
             
                 
             
      

M. Beck and R. Geoghegan, The Art of Proof: Basic Training for Deeper Mathematics, 
Undergraduate Texts in Mathematics, DOI 10.1007/978-1-4419-7023-7_7,
© Matthias Beck and Ross Geoghegan 2010
      

    

               
                   
    

         

                   
       
       

                
              
          
       

            

                  

             

                       
        
 

                   

  

          

               

  
    


    

                 
               
             
             
                   
    
     

 
         
    
 
       
      
                      
  

             

 
            


        

   
 
         
 

                          

     

                    
 
           
 
       
                  
              
      

  
               

           

              
               
     

  
              
    
       
        
    

    
   
    
   
  
   
    
   
     
      

        

      
  
     
     
          
       
                    
 
                    
 
                    
 
                      
              
       
 
              
    
  
                   
    
                  
  
                     
               
            
               
            
          
               
                      
   
   

                 
            
          

               
                   
                
             

                

                
              
    
             
    

          
          

             
            
               
      

       

 

                

               
    
  
    


    
  
    


                   

 
     


                 
              
             

       
        
  
  
     
      
    
   
     
                       
                   
           
                    
                            
                
                    
                     
 
                    
                      
                        
        
                        
          
          
                    
             
             
              
                     
        
                

                 
              
               
                                
    
    
          
  
          

                

      

   
              
 
 
       
       



    


                 

                   
      

                    

                  

             
                          
      

                      

                       

             
 

 





  






  

      







                
                 
                 
  
                 
               
   

            
              
                
            

              
               
  

                  
              
   
 
 

           
                   
                 

          

   

             
           
             
            

M. Beck and R. Geoghegan, The Art of Proof: Basic Training for Deeper Mathematics, 
Undergraduate Texts in Mathematics, DOI 10.1007/978-1-4419-7023-7_8,
© Matthias Beck and Ross Geoghegan 2010
    

               
                 
                
                
              
         
             
               
      
                  
  
          

                   
          

 

              
            
    

       

        
           
           
      
        

       

                  

                
   

               
     
  

                  
     

              

                  

                     



      
       
 
    
  
  

         

             
             
             
               
                
             
   

               

               

                  

                               

        

             

                       
           
   
           
        

                       
    

                         

            

                     

                      

           

 

        

   

                    

               

      

         
    
       

                 

      

       
        

            
           
          
               
     

 
      
     
    
     
    
               
            
  
               

     
          
  

       

      
      

     

        

          
        
    
                

             
        

                      

    

          

                       
                     
          

                  

              

             

        

            
                
               
            

                      

             

            

                

       

          


  
   
       
   
   
    
    
 
   
            
            
         
       
          
 

         

                
               
   
               
             
             
             
              
             
      
         
            
             
 
            
            
      
        
            
 
        
                
            
                
             
   


            
       


  

              
    

             

         
           
              
         

                         
    
                  
     
                  
    
   
    
      
   
        
         

              
       

  

           

 

                   
          
                   
          
              
                  
    
    

       

                

    
    
   
  
             
          
           

      

    

    


    

               
              
       

   
    
  
                   
       
              
              
     

               


          

       
      
     
            
    
     
 
           
   
         
   
           
        
     
   

              
             
       
     

           

     

      

               
    

             
 

             
              
              
   

              
               
  

                  
              
 
   

                 
                 
                 

           
       

       

              
                  
                 
     
                
               
               
                
     
              
           
 

M. Beck and R. Geoghegan, The Art of Proof: Basic Training for Deeper Mathematics, 
Undergraduate Texts in Mathematics, DOI 10.1007/978-1-4419-7023-7_9,
© Matthias Beck and Ross Geoghegan 2010
      

   

             

   
                     

            
        

                 

   

      

   

    

     

             

    
                

                     
   
        

                      

                     
     
 

            
     

           

   

           
   

         
           
    

            
           
            
           

      

 
    
    
    
  

                    

     
                
              

              

     
                    

              

 
                      
                     

                      

                 

        

            

      

            

                    

                        
             
      

            

       

                  

    

                  

    

                 
  

                      
   

          
 
    
           

           

                  
     

             
 

 
            
            
           

              


             
 
 
        
     
                    
                       
    

                  
          

                     

               
     
                        
                 
           
    
           

           

         

                    
                    
                
 
           

                 
    

           

  
     
                 

                 
       
                  
           

           

                 
         

                  

            

             

      

             

      

         



             

  
              
   
          

 
     
      

        

     

         
       
     


    

         

                 

          

        
    
    
    
    
       

                     

  
        

           

           

                   
         
               


                   

      

          

      

                
    

                    
          
  
         
              
 
         

           
      
     

      

  
           
             
           
  
     

             
      
      
     
       

      

           

      

             

     

          

        

                
        

                
     
   
            

    

      

              
             
        

       

                
               
                 
                
        

               
    

           

              
               
  

                  
              
 
    


            
 
               

   

              
                 
                  
                  
              
            


M. Beck and R. Geoghegan, The Art of Proof: Basic Training for Deeper Mathematics, 
Undergraduate Texts in Mathematics, DOI 10.1007/978-1-4419-7023-7_10,
© Matthias Beck and Ross Geoghegan 2010
        

    

           

            

            

            
              
 
        

              

                 
                       
                  

      
   
     
   
               
              
       
                 
        
       

      

                  
    

      

           


               

                   

      

  

                 

     
 
  

            

   

                   

          

                 

      

                 
   
          
      
         
        

           

              

                       
                  
    

   

                      

                  

                           

         

                 
     

 

     

            
        

     
       
     

             
             
              
            
                
     

                
           

                  
  
               
  
                   
   

                    

   

                 
               
    

 

  
              
                
                 
  

                 

          

                 
                
  

                      
      
      
   

      

 

   
 

 
   
  

   
  

                 
          

  
   
  

         

                   

   
   
    
   
             
  
  
   

             
         

  
 
  

                  
                 
             
                 
                 
              
       
        

               

              



            
    
 
                 


              

 

              

      

             

      

          

 

              
               
    
 
      
     
   

                    
    
    
  
  

   
     
       
  

               
          
    
   
               
 
  

   

   

     

  
     
          

      

      

       

      

                    
                     
                   
         

        

                 

             

          
         

              

            


       

 

   
         
   
         

         

              

   

     
 

       
 
        

          

 

       

 
 
        
   

                 

           

                      

         
       
   
       
   
 

         


          

             

                 

             

            
                     

  

    

           


                   
  

   

           

   


             

   

                

 
          
 

            
     

   
                  
           

           

     

                 

     
   
            
 
    
            

             

   

                 

              
                   

                  

             

  

    

         


        
     
                      
    
     
 
        

                 

         

               

      

                

              
      
                      
  


                 
       
                  

                   
          

      

                  

                   
     

      

                 

    
                     


                 

                  

 
       
                    
  

        

   

         

          


  

  

                
              

               

            
                 
            


       

  

              
               
  

                  
              
 
   

        

   

            

               
             
     

M. Beck and R. Geoghegan, The Art of Proof: Basic Training for Deeper Mathematics, 
Undergraduate Texts in Mathematics, DOI 10.1007/978-1-4419-7023-7_11,
© Matthias Beck and Ross Geoghegan 2010

   
    
   
    
    
     
    
  
   
 
     
     
  
    
   
   
  
   
  

     
  
                    
                
  
             
               
    
       
 
                       

                   
                 
             
       
                 
            
                
                
               
                
               
              

          
    
  
  
          
    

                
               
 
                 
     
   

                  
     
     
                       
          

              

                 
             
  
 
  

                 
   

     


                     
                  
     

        

  

       

                      
                  
  
             

 
 
 
               
                    
            

             

                     
          

    
   
        
       
   
     
                   
           
             

             
         
             
                
                
                  
                     
                
       
             
     
     

                
              
     

       
                
     
        
                

        
    
                
   
  
    
   

                
             
          
   

             

  
     

      





       
  
   
 
      


   
 
   
      
     
        
  
         
  
        

   

  
  
  
  
          

 
            
            
   
                  
 

  

                      
              
         
   
                 
       
                         

  
               
  
             
        
     

               

           


                    

 
 

       

            

                     

      
                
    

          

 
    
  
  

           

           
               
          

              
               
  

                  
              
 
 

            

                
        
           
             
           
             
                  

  

M. Beck and R. Geoghegan, The Art of Proof: Basic Training for Deeper Mathematics, 
Undergraduate Texts in Mathematics, DOI 10.1007/978-1-4419-7023-7_12,
© Matthias Beck and Ross Geoghegan 2010
   

                 
                  
                 
                   



                

             
              
 

               

       

      




               
              
              

     
           
              
  
  
                    
 

                 

              
                   
     
      
               
      

   

 

                   
          

                 
              
                  

  
     
    


  
 

 
                
      

       
      
  

        

               

               

 



     


               
  
 
 
          
 

         

      

   

           

         

                  



          


   


       

            
                    
    

 
           
 

    

          
  
         

 

                     

     
     
  
   
                  
                 
    

         


                    

        
          
           

    
           
 

    

         

 
     



           
    

        

            
                 
 
            
                  
             
 
   
       

  


               
      
   
    
 
        

  
    
               
  

       


 
             
 


 
    
               
  
 

 
         
 

      


         


                   

 
        
               
   
    

                    

     

             
               
 

                   

                  
            
   

               

  
  
    


 
 
  

              

                   
                  
   

                    

          
   
     
     
  

 
 


  


    
      







 
   
 
        

 

    
    

    
    

 
    




        

                     
         

 
  
   
  

 
 
   
  
 
  

     
  

              

            


                    

    
                   
                     
                       

              

              



                      

            

   

     

                   
            

        

    

    

              
       

          

           
           
           

              
               
  

                  
              
 


    

      
      

             

   

                  

                    
   
            

M. Beck and R. Geoghegan, The Art of Proof: Basic Training for Deeper Mathematics, 
Undergraduate Texts in Mathematics, DOI 10.1007/978-1-4419-7023-7_13,
© Matthias Beck and Ross Geoghegan 2010
   

     

                
              
    
         
                  
                    
      
                

                 
               
  

           

                  

                
 
 

        

    
         
   

  

               

     

          

            

                
                 
   

           

      

            
       
            

     

                
               


             

 

                
              
             
               
                
   

 

      

  

              
  

      

                

    
 
 
                 
        
           

            

   
     
   

     

                         

         

 

 

   

    

     

      

             

     

       

    

                
                     
    

              
                
              

             

            

    

         

                  
   
              
         

            

   

     

              

              
                
  
                   
 
                  
    
   
    
  
  
    

                       
                  


 
               
               
          
             
            

 
  
   
  
   
    
  
  
     
     
  
    
   
   
  
   
  
     
  
     
  
  
    
   
 
  
              
          
          
        
              
           
              
       
        
               
      
            
    
            
  
             
            
        
               
                
                  
                   
                  
 
   

                

                
             

          

             
      



               
    
  
               
          
                
  
              

                 
   
           
            
      

 
                 
                
            

  

             
   
                
              
   

        

             
             
              
               
            
                
              
               
           
                 
               
   
        

             
    
       
        
   
    
 
                  

     


  
  

            

              
               
             

                

       

               

            
                
           
            
    
   

  

     


     

      

          

       

               

             
           
             
  
              
              
              
              
              
     

           

   

                
 

              
               
  

                  
              
 
 

       

              
           

              

              
           
   
             

              
             
          
             
  
           
 

            
             

     

      
      

M. Beck and R. Geoghegan, The Art of Proof: Basic Training for Deeper Mathematics, 
Undergraduate Texts in Mathematics, DOI 10.1007/978-1-4419-7023-7_14,
© Matthias Beck and Ross Geoghegan 2010
 
 
   

                 
                
                
               
            
   

         

   

    

                       

       
               
              
     
                    
                 
                
             
  

                              
     
                  
     

M. Beck and R. Geoghegan, The Art of Proof: Basic Training for Deeper Mathematics, 
Undergraduate Texts in Mathematics, DOI 10.1007/978-1-4419-7023-7_15,
© Matthias Beck and Ross Geoghegan 2010

      
   
    
     
   
 
     
       
     
    
  
     
    
     
                     
      
      
 
                 
                 
              
                  
                
        
                     

            
   
   
      
                       
                     
                  
               
             
                   
    
 
        
                 

               
 
                
       
   

                    

                        

                

         

              

     
                             

  

                     

         

                      
    

   
        
      


                  
 
              

               


                 
                  
         


                  
                        
        

            

                  

             

                          

      

           

                    

        

                          

              
              

              
          

       
 
    
    



              
           

  

       
    

                
     
                             

            

      

           

              

                     


               

                               
   

                    

        

           

             

                   

      

             
 
 
 

       

  

           

              

          
            
             
             
    

  

              
                
    
             
    
       

             

        

M. Beck and R. Geoghegan, The Art of Proof: Basic Training for Deeper Mathematics, 
Undergraduate Texts in Mathematics, DOI 10.1007/978-1-4419-7023-7_16,
© Matthias Beck and Ross Geoghegan 2010
    

      

  
         

       
 
     
 
     
 
     
      

     

            

         

            


            

       

                    
    
      

   
     
  
    
               
                    
        

              
            
              
             
            
               
                 
    
                        

 

                

             
        

            


          

            

                   
                   

       

             


         

            
               
         

                  
             
                  
            
    
           

               
              
      
                
      

           

      

                   
         

                
                   
    

                      
                    
           


 


               
                  
                 
                    
    

    
       
    

                 
               
                
            


 
               
              
  
                
  

                    
              

                
               
 
 
 

    

  

      

        
                


              
                  

         

  

         

                     

                    
  

           

            
                    
                 

M. Beck and R. Geoghegan, The Art of Proof: Basic Training for Deeper Mathematics, 
Undergraduate Texts in Mathematics, DOI 10.1007/978-1-4419-7023-7_17,
© Matthias Beck and Ross Geoghegan 2010
    

          

               

                  

                 
   

              

       

                
          

     

      

       

      

      

           

      

                 

                 
                  
            
                  
              
               

     

                   
                     
   
     
  
            
   

               
       
                 
                
    
        

            

  

                
             
               






     

   
               
     
    
         
                 
 
           

            
      
            
                
    

            
        

 




         

              
    

                 

                   
             

              
                 
      
   
  
   
   
    




     

                 
              

     
   

             
    
              
            
                
  

      

     

   

  
  

  

        

    
    
          

               
                 
        

      

     

               


        

   
      
    
   
    
     
       

      
    

     

          

            

    
      


           

      

    
        
      

                  
                 
                
 
  

             
    

 

                 

   

             

        
 
              

            

               
                  
  

                
                

             

             

               

              
         
                      

M. Beck and R. Geoghegan, The Art of Proof: Basic Training for Deeper Mathematics, 
Undergraduate Texts in Mathematics, DOI 10.1007/978-1-4419-7023-7_18,
© Matthias Beck and Ross Geoghegan 2010

   
   
  
   
  
   
       
 
 
    
  
    
    
  
   
   
   
    
   
  

      
 
    
                
              
        
               
                  
              
               
             
            
                 
                   
             
           
              
                
              
                
               
           
                 
          
            
                 
               
        
              
         
 
               
                

             
  

           
             
    

           

                 
             

               

                        
        

            

  

               

              

  
                     
 

       

 

           
 

             
                  

             
            
     
                
  
                  
  
      
       
  
             
              
    

   

           
               


            
             
 

           
             

     

               

      

         
            
              
            
              
             
  
  

              
             
          

   

                    

            
      
                         
    
            
   
                   
                    
    
        

              
 

   
                       
   
          

            

 

 

                 

                           
                 
    
                   
               
             
               
 
     

                    
   
                   

                 

   

  

     

                       
                        
                   
   

       

          

                       
                   
             
    
     
   

        

          

          

                   
                    
        
   

         

               
    

              

              

                                

                         
                      
       
              

     

      
     
     
     
   

           

  
   
   
    
               

     
    
   
    
                
         
   
 
 
         
               
    
        
            
                 
                 
               
             
                  
         
    
   

 



   
 





 
  

         

             
       
                      
                   
  

  

                
                 
   

        

              
 

             
              
             
             
    

          

    

 
 

                
    
        

  

           
          
     

   
          

   
                  
    
 
 

 

     
        


  

         


    

 
        
 

   

  

           

M. Beck and R. Geoghegan, The Art of Proof: Basic Training for Deeper Mathematics, 
Undergraduate Texts in Mathematics, DOI 10.1007/978-1-4419-7023-7_19,
© Matthias Beck and Ross Geoghegan 2010
    

    

              
    



      


             
  
             
  

          

                   
                
      
        
 
    
    
             
  
   
                   

 
    
  
    

  
  

          

 
   
   
            
  
           
  

     

         



          

             
 

         

     

 
    

             

   

        

            
    
      
 
      


      
 
  

      
 
   
    

               


   

     
        


 
         
 

       


              
 

        

  

              

           
             

    

 

   

        
          
    
 
    

      

       



       
 

         

              

   



       



     


   

                 
       
    
     
      
    

   

 
    

 


     
             
             

 

                    
   
                        

  

       

        
   

            

               

         

 

    

   
    

        



         


         


   

  

           

     

            
          
 
    

                  

            
 

                  

                 
                 
                  
    
                 

                  

                 
    

            
             
           

   

                

                   

 

M. Beck and R. Geoghegan, The Art of Proof: Basic Training for Deeper Mathematics, 
Undergraduate Texts in Mathematics, DOI 10.1007/978-1-4419-7023-7_20,
© Matthias Beck and Ross Geoghegan 2010
      

              

                  
        

          

                  

            

         

               

          

                

            
          
                

          

               
                    
                
 
        
 
              

          

               

             
              

  
                  
       
             
           
               
                          
   

                    
                
                 

 

               

    
         

      

         
                      
                    
        
            
                   

                
                       
                     

  

                
                
         
          
         
        
          
             

                  
      

               

                

  
   
    
      
     
  
      
                   
                   
        
              
 
             
            
            
         
       
                
                 
        
 
     
         
           
                
                     
              
            
                   
     
           
               
               
           
             
               
       
              
               
 
          
     
                 
                
   

              
     
             
   
        
  
 
               
                
            
   
               
 
             

        

 

               
    
 
   

               
                  
      
             

             
           
      
             
               
           
               
      

            
  

          

  
      
 

             

    
     
                   
                     
                
  

              
                 
           

M. Beck and R. Geoghegan, The Art of Proof: Basic Training for Deeper Mathematics, 
Undergraduate Texts in Mathematics, DOI 10.1007/978-1-4419-7023-7_21,
© Matthias Beck and Ross Geoghegan 2010
     

            
  
  

            

        

  

  
    
     
 
   
  
  
  
  
 
    
      
    
   
   
    
     
     
       
       
   
   
      
      
   
   
      


   

  

   
   
  
  
     
     

     
           
      
      
       
 
           
         
 
   
     
     
   

    

    
         
        
         
         
       
      
     
     
       
        
           
     
          
      
   
       
       
          
  
  
    
 
    
     
     
        
   

  

         
      
     
       
      
      
       
      

    
    
   
 
    

 
   
   
  
    
   
   
  
  
  
  
  
  
 
  
    

  
    
    
    
   

 
 
  
  
  
 
     
  
  
 
 
 
  
  
  
  
 
  
  
  
  
  
  
 
  
  
  
  
 
 
  
 
 
 
 
  
 
 

 

      

     
    
     
   
    
 
    
    
   
   
   
     
   
    
      
      
      
     
  
     
   
      
   
      

    

 
   
         
       
         
    
     
      
    
     
    
       
    
     
  
  

 
    
   
      
        
  
  
 
 
    
 

       

  
 
  
     
    
  
  
  
   
   
  
  
 
  
  
  
   
 
 
 
  
  
  
  
 

 
   
   
  
    
   
   
 
  
 
 
 
   
   
   
    
  
  
  
 
  
  
 
  
  
 
 
 
  
  
  
 
 
  
 
 
 
 

  
   
  
 
  
 
 
  
   
  
    
  
    

   
     
    
       
   
     
   
   
   
 

       

 
     
    
 
  
  
    
      
   
    
    
 
    

   
   
     
     
    
 
    
    
     