Changes

404 bytes added ,  04:54, 6 December 2008
Line 281: Line 281:     
<pre>
 
<pre>
   
       q o  o p
 
       q o  o p
 
         |  |
 
         |  |
Line 291: Line 290:  
           |
 
           |
 
           @        =        @
 
           @        =        @
 +
</pre>
 +
 +
Proof
 +
 +
<pre>
 +
      q o  o p
 +
        |  |
 +
      p o  o q
 +
        |  |      q  p
 +
        o  o      o  o      o  o        o          o
 +
        \ /        \ /        \ /          |          |
 +
          o        pq o        pq o        pq o          o
 +
          |          |          |          |          |
 +
          @    =    @    =    @    =    @    =    @    =    @
 
</pre>
 
</pre>
12,080

edits