Electrolysis and Ideal Gas Law