Division Algorithm Proof By Well Ordering Principle, Division Algorithm.