Mathematical Theory Of Permanent Progressive Water-waves, The