> It won't necessarily give you a proof that your result...

That is precisely the point.