Theories, techniques and results in many different branches of mathematics have been