Если рассмотреть степени 2 в двоичном коде, то можно заметить что 2^N это запись вида 1 и N нолей (так например, 2^3 = 1000).
4^2015 = 2^4030, т.е. это 1 и 4030 нолей
2^2016 - 5 = 2^2016 - 1 - 4
2^2016 - 1= превращает 1 и 2016 нолей в 2016 единиц
и при вычитании 4 у нас уходит 1 единица, итого получается 2015 единиц.
и прибавляя единицу из 4^2015 получаем всего 2016 единиц