§7.3 球面初等三角形