[= henceforth, from now on
This theorem will hereafter be referred to as the minimum principle. [Note the double r in referred.]
This property will be used repeatedly hereafter.