Mathematician angry no one understands his proof