First integrals of dense hard-ball gases

We answer two questions of Kozlov about polynomial-in-momentum first integrals of billiard systems. For billiards in bounded polytopes, such integrals are independent of position. For hard-ball gases in a rectangular box, every polynomial-in-momentum first integral is a polynomial in the total kinetic energy whenever the collision graph is connected.