Есть теорема: если n не степень двойки, то число (2^n) + 1 не простое. Как можно это доказать?

Составить прогу на паскале и перебрать все доступные миру разумного числа на предмет соответствия данной теореме, после чего умно назвать результат индукцией с перебором. :D