Added Corollary. no line numbers.