0<Y<π ⇔ -π<-Y<0、これと0<X<πを足すと、-π<X-Y<π ⇔ -π/2<(X-Y)/2<π/2