x≡y (mod z) 同余概念