It's not a proof that your work is correct. It's a proof that a few cases, out of potentially millions, or billions, work.