<pre>
Prove that for any 9-digit number (base 10) there is an integral power
of 2 whose first 9 digits are that number.

[[RecPuzzlesPower Two Solution]]
</pre>
