[math-fun] Hadamard conjecture true?