• is a mathematical statement that is true and can be (and has been) verified as true