If one mole of H2 is compressed from 10 L to 7.5 L at constant temperature, what happens to the gas pressure?