математическое утверждение, истинность которого установлена путем доказательства. Термин употребляется еще Архимедом.