fix the error in corollary