#theorem #mathematical proposition #formal statement