すまん、高校生じゃないが質問させてくれ

{1+2^1+2^2+2^3+…+2^(n-1)}=(2^n-1)
ってなるのは公式か何かなのか？