theorem

A math rule that has been proven always true.