The breakthrough proof bringing mathematics closer to a grand unified theory