Theorems

A result with a genuinely formal character: a stated claim with a proof, or an established mathematical result used in engineering.