theorem—a statement that has been proven true using logic and evidence, especially in mathematics