sinを法としたmod空間だから等しくていいんだよ

その数直線の末端どうしで連結されてる商空間だから
0=π
になるのは当然