theorem :: NUMBER04:28

{ n where n is Nat : 13 divides (2 |^ n) - 3 } is infinite