Theorems of the 21st century. Volume I ([2019])