It is a any statement that can be proved true.