Является ли современное доказательство Великой теоремы Ферма полным, т.е необходимым и достаточным?

Является достаточным, так как доказательство теоремы о модулярности, из верности которой прямо следует верность Великой теоремы Ферма, успешно прошло верификацию. Является ли необходимым - вот это маловероятно, ведь целью доказательства был отнюдь не поиск кратчайшей последовательности импликаций.