發送短信 : Fixed point property of direct sums

導出完成 —  

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