little Fermat

I have just stumbled accross another jewel from Dijkstra. From now on I'll probably never forget Fermat's little theorem.