Which of these gases diffuse more quickly than oxygen ?