proof of formula