  We present a mathematically rigorous analysis of the superfluid properties of
a Bose-Einstein condensate in the many-body ground state of a one-dimensional
model of interacting bosons in a random potential.
