There is a scientific paper with a proof based on its own existencezenodo.org22 pointsmsuvakov8 years ago