added more detail to corollary