And have even substituted extensive theories for the isolated propositions of Fermat.