 Squarefree discriminant certifies an integral basis

The discriminant of an integral full-rank lattice is the field discriminant multiplied by the square of its index in the ring of integers. A squarefree lattice discriminant therefore forces index one.