Um número x é da forma 2p se, e somente se, x é par.

Se um número x não é da forma 2p, então x é não é par.

Se x não é par, então esse número é da forma 2p

Se x não é par, então esse número não é da forma 2p.

Se x é par, então esse número é da forma 2p