Text this: Properties of attractive points in cat(0) spaces

導出完成 —  

  _  _      ___      _____      ___      ______  
 | \| ||   / _ \\   |__  //    / _ \\   /_   _// 
 |  ' ||  | / \ ||    / //    / //\ \\  `-| |,-  
 | .  ||  | \_/ ||   / //__  |  ___  ||   | ||   
 |_|\_||   \___//   /_____|| |_||  |_||   |_||   
 `-` -`    `---`    `-----`  `-`   `-`    `-`'