BirkhoffLee@tg says to YSITD
所以要 a % n == b % n