+corollary th9