Сначала представляем число 9^21 как 3 ^42
у нас получается : 3^42 - 2^4 , представим это как разность квадратов, у нас получится: (3^21-2^2)*(3^21+2^2), а простое число, это число которое делится только на себя или на 1, но не одна из скобок не является 1(они все >1), а значит минимум одна скобка не равна первоначальному числу, значит оно не просто, а => оно составное.
Счастье радость!