proof verification - For every natural number $m$, $2^{2m}-1$ is divisible by $3$

Can anyone tell me if I missed any small details in this proof?

(basis) $2^{2(1)}-1 = 3*1$ which is divisible by 3.

(induction) Fix $m>1$ so $p. Hence for every natural number $p,$ $2^{2p}-1=3p.$ then for every natural number $(p+1),$ $2^{2(p+1)}-1=3(p+1)$ then

$2^{2(p+1)}-1=3(p+1)$

$2*2^{2p}-1=3(p+1)$

$2*2^{2p}-1=3(p+1)$

$2(3p+1)-1=3(p+1)$ by induction hypothesis

$2(3p+1)+2^2-3=3(p+1)$

$6p+3=3(p+1)$

$3(p+1)=3(p+1)$

Thus, the statement is true for the natural number n whenever it is true for any natural number less than n.

Answer

Can anyone tell me if I missed any small details in this proof?

Sorry, but your proof is not good at all! You didn't just miss any small details, but your whole proof method is fundamentally wrong. Sorry to be blunt here, but you need to get this proof technique correct.

First, a relatively minor mistake. You state the inductive assumption as: for every natural number $p$: $2^{2p}-1=3p$, and that you are trying to show that $2^{2(p+1)}-1=3(p+1)$

Well, that is just not true. Take $p=2$ then $2^{2p}-1=2^4-1=16-1=15$, but $3p=3\cdot2=6$

Instead, the theorem should be stated as: For any $m$: $2^{2m}-1=3k$ for some integer $k$. So, the inductive hypothesis should be:

$2^{2p}-1=3k$ for some integer $p$ and $k$

and now you need to show that:

$2^{2(p+1)}-1=3k'$ for some integer $k'$

Your second mistake is much more serious though! You start out with what (you think) you are trying to prove:

$2^{2(p+1)}-1=3(p+1)$

and up with a tautology:

$3(p+1) = 3(p+1)$

This is your fundamentally wrong proof strategy, because what you did here proves absolutely nothing at all!

Of course you can derive a tautology from anything at all ... but that does not mean anything as far as what you started with.

Indeed, using your logic, here is a proof that $1=2$:

$1=2$

$0\cdot 1 = 0\cdot 2$

$0=0$

...Correct!?!?!

OK, so that's obviously not the way to prove these. Your mistake is that you start with what you are trying to show. But in a proof, you need to end up with what you are trying to show. Here is what you need to do:

You need to start with the left side:

$2^{2(p+1)}-1$

and see if, using the inductive hypothesis that $2^{2p}-1=3k$, you can rewrite that expression to something of the form $3\cdot (...)$. If you can show that, you can conclude that $2^{2(p+1)}-1 = 3k'$ for some $k'$.