Prove The Division Algorithm