lean_workbook_plus_77072

So, $n^{100}\equiv 1, 3^{100}\mod 1000$ . And also $n^{101}\equiv n\mod 1000\Leftrightarrow n^{100}\equiv 1\mod 1000$ . We need to check that $3^{100}\equiv 1\mod 1000$ .