Wow. Three top notch reponses to my little theorem. Props to barryp, Pseudonym, and especially schoen. In case anyone was wondering I wasn't trying to get you to do my homework. I haven't done homework in years... perhaps if I were doing homework my math wouldn't be so rusty.
I took a lot of math classes in college, some calculus, and statistics, and discrete math thru the computer science department. I did well in most of them, but when it comes to real world application my math skills seem so feeble. It's like I know enough math to want to prove my ideas but not enough math to actually get the job done.
For instance, how did you guys know log(256^n) was the way to get the maximum number of symbols in an encoding? In my first attempts at a proof I had a function maxlength(n) but I didn't know how to break that function into mathematical elements to reach a QED.