Licson Lee
says to
YSITD
人家 congrunce 有 a = b (mod n), b = c (mod n) => a = c (mod n) 的