add corollary to readme