When used to verify obvious results, like the division theorem, they may seem frivolous But when the same method is applied to issues we are not familiar with, so just questions that involve infinity, rigorous proofs are the only things we can rely on. 