Answer: because a 4-quart pail and a 9-quart pail can be used
. . . . . . to produce any integer quantity from 1 quart to 9 quarts.
Let
= 9-quart pail.
Let
= 4-quart pail.
Fill 
Code:
* *
|:::|
|:::|
|:::| * *
|:9:| | | We have 9 quarts.
|:::| | |
|:::| | |
|:::| | |
*---* *---*
A B
Pour
into 
Code:
* *
| |
| |
|:::| * *
|:::| |:::| We have 5 quarts.
|:5:| |:::|
|:::| |:4:|
|:::| |:::|
*---* *---*
A B
Empty 
Code:
* *
| |
| |
| | * *
| | |:::|
| | |:::| We have 4 quarts.
| | |:4:|
| | |:::|
*---* *---*
A B
Pour
into 
Code:
* *
| |
| |
| | * *
|:::| | |
|:::| | |
|:4:| | |
|:::| | |
*---* *---*
A B
Fill 
Code:
* *
| |
| |
| | * *
|:::| |:::|
|:::| |:::|
|:4:| |:4:|
|:::| |:::|
*---* *---*
A B
Pour
into 
Code:
* *
| |
|:::|
|:::|
|:::| * *
|:8:| | | We have 8 quarts.
|:::| | |
|:::| | |
*---* *---*
A B
Fill 
Code:
* *
| |
|:::|
|:::| * *
|:8:| |:::|
|:::| |:::|
|:::| |:4:|
|:::| |:::|
*---* *---*
A B
Pour
into 
Code:
* *
|:::|
|:::|
|:::| * *
|:9:| | |
|:::| |:::| We have 3 quarts.
|:::| |:3:|
|:::| |:::|
*---* *---*
A B
Empty 
Code:
* *
| |
| |
| | * *
| | | |
| | |:::|
| | |:3:|
| | |:::|
*---* *---*
A B
Pour
into 
Code:
* *
| |
| |
| | * *
| | | |
|:::| | |
|:3:| | |
|:::| | |
*---* *---*
A B
Fill 
Code:
* *
| |
| |
| | * *
| | |:::|
|:::| |:::|
|:3:| |:4:|
|:::| |:::|
*---* *---*
A B
Pour
into 
Code:
* *
| |
| |
|:::| * *
|:::| | |
|:7:| | | We have 7 quarts.
|:::| | |
|:::| | |
*---* *---*
A B
Fill 
Code:
* *
| |
| |
|:::| * *
|:::| |:::|
|:7:| |:::|
|:::| |:4:|
|:::| |:::|
*---* *---*
A B
Pour
into 
Code:
* *
|:::|
|:::|
|:::| * *
|:9:| | |
|:::| | | We have 2 quarts.
|:::| |:::|
|:::| |:2:|
*---* *---*
A B
Empty 
Code:
* *
| |
| |
| | * *
| | | |
| | | |
| | |:::|
| | |:2:|
*---* *---*
A B
Pour
into 
Code:
* *
| |
| |
| | * *
| | | |
| | | |
|:::| | |
|:2:| | |
*---* *---*
A B
Fill 
Code:
* *
| |
| |
| | * *
| | |:::|
| | |:::|
|:::| |:4:|
|:2:| |:::|
*---* *---*
A B
Pour
into 
Code:
* *
| |
| |
|:::| * *
|:::| | |
|:6:| | | We have 6 quarts.
|:::| | |
|:::| | |
*---* *---*
A B
Fill 
Code:
* *
| |
| |
|:::| * *
|:::| |:::|
|:6:| |:::|
|:::| |:4:|
|:::| |:::|
*---* *---*
A B
Pour
into 
Code:
* *
|:::|
|:::|
|:::| * *
|:9:| | | We have 1 quart.
|:::| | |
|:::| | |
|:::| |:1:|
*---* *---*
A B
We have devised a procedure to get 1, 2, 3, 4, 5, 6, 7, and 8 quarts.
. . The problem is completely solved.
Why are you asking "Why?"