an electric pencil sharpener is for sharpening a pencil easily