Starting from a true proposition (axiom or other theorem that has been proved), a proposition or formula that has been proved to be a correct conclusion through logical deduction.
Law is cause and effect, which is a reproducible and unchangeable relationship between the former state and the latter state.