Users that searched for corollary 8.5 and found www-math.mit.edu