Contapositive из Одиночество простых чисел