Chứng minh định lý Fermat nhỏ:

`a^P\equiva` (mod P) với a là số tự nhiên và P là số nguyên tố