add corollary env, fix \item cutting