Да, он не доказал её оказывается. Её доказал Лейбниц. Но Ферма много других вещей придумал, так что он известен не только великой теоремой Ферма.