Assuming Lang's conjecture, we prove that for a prime p, number field K, and positive integer g, there is an integer r such that no principally polarized abelian variety A/K has full level-pr structure. To this end, we use ...