proof of division algorithm