an electric toothbrush is used for brushing teeth