Я уж не помню, что именно было по этой ссылке, но скорее всего следующее, ибо я этим пользуюсь по сей день. Зайдите в Проводник (или любой другой файловый менеджер у Вас на телефоне, я вот например пользуюсь ZArchiver), далее Android->data->
com.miui.gallery. Там лежат папки cache и files. Первую можете удалить целиком, из второй можете удалить gallery_disk_cache. Основная масса файлов именно в последней: можете убедиться в этом перед удалением, зажав долго на папку и выбрав Ещё->Подробности — в строчке "Размер" увидите большое число, скорее всего близкое к Вашим четырём гигабайтам.