How do you verify the ‚beauty‘ of a result. There have always been infinite provable Theorems around. Only some are interesting and beautiful.