Isn't the first of the theorems mentioned just a definition, namely the definition given in the text above it?