State And Prove Division Algorithm