Добавена теоремата на Ферма.

Изведена е като следствие от (x+y)^n разписано като сума.