若T2≡1(modp)，则（）。