Laws of electrolysis