Lewis Corollary