10^3\equiv_7-1