#theorem #logical deduction #mathematical insight #proof discovery #therefore symbol