lean_workbook_plus_47702

Use Fermat’s little theorem: $3^{10}\equiv1\pmod{11}$ . And $3^{2002}=\left(3^{10}\right)^{20}\cdot3^2$ .