費馬最後定理用途