Let p be a prime number and k is a integer with p∣2k−1 for a∈{1,2,…,p−1} , let ma be the only element that satisfies p∣ama−1 and define
Ta={x∈{1,2,…p−1}∣{pmax−apx}<21and there exists integer y satisfying p | x-y^k+1}
Try to proof that there exists an integer m and integers 1≤a1<a2<…<am≤p−1 satisfying
∣Ta1∣=∣Ta2∣=…=∣Tam∣=m