add link of formula proof