Levy Corollary view 3