トイレの流すレバーの大と小とがあるけど、小の存在意義がいまいち分からない