  We prove the conjecture of Oort that a compact subvariety of the moduli space
of principally polarized Abelian varieties of genus g has codimension strictly
greater than g, for g > 2, in characteristic zero
