Text this: Fixed point property of direct sums

__    __     ___     _    _    _    _    __   __  
\ \\ / //   / _ \\  | || | || | || | ||  \ \\/ // 
 \ \/ //   | / \ || | || | || | || | ||   \   //  
  \  //    | \_/ || | \\_/ || | \\_/ ||   / . \\  
   \//      \___//   \____//   \____//   /_//\_\\ 
    `       `---`     `---`     `---`    `-`  --`