ak+1\equiv bk+1\pmod t