128. 12. Теореми Ферма, Ролля, Лагранжа