Manual derivation of Hoare-triples for the long division algorithm verification.