Dokaz provodimo matematičkom indukcijom.
Provjera za n=1.
2=10+(3−5)⋅22
2=10−8
Dakle, tvrdnja vrijedi za n=1.
Pretpostavimo da za neki prirodni broj n vrijedi tvrdnja
2+16+56+…+(3n−2)⋅2n=10+(3n−5)⋅2n+1.
Dokažimo da tada tvrdnja vrijedi i za n+1, odnosno da vrijedi
2+16+56+…+(3n−2)⋅2n+(3n+1)⋅2n+1=10+(3n−2)⋅2n+2.
Krenimo od lijeve strane prethodne jednakosti i iskoristimo pretpostavku indukcije:
2+16+56+…+(3n−2)⋅2n+(3n+1)⋅2n+1=10+(3n−5)⋅2n+1+(3n+1)⋅2n+1=10+2n+1⋅(6n−4)=10+2n+1⋅2(3n−2)=10+2n+2⋅(3n−2).
Prema tome, tvrdnja vrijedi za sve prirodne brojeve n.