What is false can be proven by generating an inconsistency. But how can you prove what is correct?

It is easier to prove something is wrong. All you need is just one case that contradicts. But if you need to prove something is right you need to prove it for all cases or it has to be logically derived