[math-fun] Open problem #6 now solved