バケツは窓拭きのために使う物である．