[math-fun] abcdef conjecture