исправлено определение свидетеля простоты по Миллеру
ё-фикация
переработал раздел про CRT