發送短信 : Uniform proofs of order independence for various strategy elimination procedures

__    __   __   __   __   __   __   __   _____    
\ \\ / //  \ \\/ //  \ \\/ //  \ \\/ // |  __ \\  
 \ \/ //    \ ` //    \   //    \ ` //  | |  \ || 
  \  //      | ||     / . \\     | ||   | |__/ || 
   \//       |_||    /_//\_\\    |_||   |_____//  
    `        `-`'    `-`  --`    `-`'    -----`