It’s very typical in human math that explaining the final result after years of searching looks very simple too.