[= hereafter, from this time on
This theorem will henceforth be referred to as the minimum principle. [Note the double r in referred.]
Henceforth, therefore, we may assume that f is irreducible.