Loading Open Internet
    Division algorithm: uniqueness of q and r.