Об одном признаке непростоты групп с инволюциями

Дается решение вопроса 10.61 из Коуровской тетради, который поставил А. И. Созутов, для случая, когда $|a|=4$.