theorem :: NUMBER04:27

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