A positive solution to the Busemann-Petty problem in ℝ 4 . Zhang, Gaoyong — 1999 Annals of Mathematics. Second Series