program correctnes proof

✦ vërtetim i saktësisë së programit