a$)$ Proving that the claim $$My algorithm is correct on all inputs$$ is true

Choice $1$ of $2$:Example

Choice $2$ of $2$:General argument