Definition of henry's law