prove a formula