So in logic we have every line of a proof being either an axiom or a theorem -- but then why do we have concepts like the "law of sines" and the "law of cosines"? Are these technically "theorems" as well? How is "law" being used here? Is there a mathematical reason? A historical one?