[teorema]

What's really depressing to me is the struggles of the student and lecturer involved, intimated at but never really a focus in their own right:

https://www.statesman.com/news/20170314/herman-35-years-late...