Was this actually just discovered? I always assumed that mathematicians knew this and it just went unspoken of. Or has this really been known and this is just the first actual published proof of the idea?

Was this actually just discovered? I always assumed that mathematicians knew this and it just went unspoken of. Or has this really been known and this is just the first actual published proof of the idea?