Исправление в разделе AKS.

Исправлено a^p = p mod p на a^p = a mod p.