Proving algorithm’s C