2²⁰¹⁸²⁰¹⁹-2=4*2²⁰¹⁸²⁰¹⁷-2;
Это большое число делится на 4, если оно делится на 4, то отняв от него 2, оно будет как минимум делится на 2.
Если число делится на что-то иное чем 1 или само себя, это уже не простое число. Так что хлопец помилився, ответ обгрунтовал!