6.3.15 同余符号“≡”