They didn&#x27;t mean &quot;prove&quot; as in mathematically &quot;prove&quot; than an algorithm works, they meant it in mechanical terms (does it compile, does it run, does it past test inputs, etc.).