Richards immediately saw the validity of Royen 's proof .
Richards immediately subsequently helped him to transform the mathematical formulas into LaTeX .
Richards immediately saw the validity of Royen 's proof and subsequently helped him to transform the mathematical formulas into LaTeX .