[math-fun] Fwd: conjecture => RH