Công thức, Định luật