Слушайте, госпада ученые! Ну уж заучились.
Чем больше узнаешь, тем больше забываешь основы основ элементарной математики?
Как вы думаете почему

для любого a?
Из определения умножения как повторное сложение.

Для сложения 0 является инвариантом

Поэтому

При n равном 0, значение а не имеет значения!
Теперь подставте вместо умножения степень, вместо сложения умножение, а вместо нуля единицу. И вы получите
Любое произведение по определению инвариантно относительно умножений на единицу.

без вариантов (любая арифметика это моноид!)
Степень

по определению есть повторение умножений числа x n-раз, причем это умножается на (по крайне мере на одну) единицу всегда как инвариант.

.
x ноль раз дает только единицу, причем, сам x при этом вообще не играет никакой роли поскольку его нет в записи ни разу.
Что называется тут вообще нечего обсуждать, тут нет вариантов. Это используется всегда и везде и всеми. Просто даже не понятно как этот элементарный вопрос вызвал такие бурные противоричивые дискуссии - хотя в математике все строго и однозначно.