費馬定理應用