A mathematical statement that can be proved