We look at the division of 712801 by 5 
We want to figure out the number of times 712801 can be divided by 5.

Going ahead to step 1:
The number 5 fits into 7 1 times, leaving a remainder of 2.
Use 1 as the next digit of our solution. 
Result so far: 1.0
If we take 5 away from 7, we end up with 2.
Fetch the next digit (1) from the dividend, attach it to 2 and continue: 21 / 5

Step 2:
21 divided by 5 is 4 with a remainder of 1.
The number 4 becomes the next digit in our result. 
Result so far: 14.0
Subtracting 20 from 21 leaves us with 1.
Take the next digit (2) from the dividend and append it to 1, then repeat: 12 / 5

Moving on to step 3:
If we divide 12 by 5, we get 2 and a remainder of 2.
Write down 2 as next digit of the result. 
Result so far: 142.0
Subtract 10 from 12 to get 2.
Include the next digit (8) from the dividend after 2, then repeat: 28 / 5

On to step 4:
5 goes into 28 5 times with a remainder of 3.
The number 5 becomes the next digit in our result. 
Result so far: 1425.0
If we subtract 25 from 28, we get 3.
Grab the next digit (0) from the dividend, add it to 3, then carry on: 30 / 5

Going ahead to step 5:
The number 5 fits into 30 6 times, leaving a remainder of 0.
Use 6 as the next digit of our solution. 
Result so far: 14256.0
If we take 30 away from 30, we end up with 0.
Append the next digit (1) from the dividend to 0 and continue with: 1 / 5

Going ahead to step 6:
When dividing 1 by 5, we get 0 with a remainder of 1.
Write down 0 as next digit of the result. 
Result so far: 142560.0
The remainder is 1 after subtracting 0 from 1.
Since there are no more digits in the dividend, we add a zero to the remainder making it 10, and continue the process.

Let's proceed to step 7:
When dividing 10 by 5, we get 2 with a remainder of 0.
The number 2 becomes the next digit in our result. 
Result so far: 142560.2
If we take 10 away from 10, we end up with 0.
Since there are no more digits in the dividend, we add a zero to the remainder making it 0, and continue the process.

Let's proceed to step 8:
5 goes into 0 0 times with a remainder of 0.
Use 0 as the next digit of our solution. 
Result so far: 142560.2
Deduct 0 from 0 and we're left with 0.
Since there are no more digits in the dividend, we add a zero to the remainder making it 0, and continue the process.

Step 9:
5 goes into 0 0 times with a remainder of 0.
Use 0 as the next digit of our solution. 
Result so far: 142560.2
If we take 0 away from 0, we end up with 0.
Since there are no more digits in the dividend, we add a zero to the remainder making it 0, and continue the process.

After the division, we end up with 142560.2 and a remainder of 0.0.