Interesting proof, Mike. I can't agree with how your logic works though. There's something off about the way you've shown the contradiction. In order to contradict your statement, other statements must also be true. This is where I have a problem. Can being friendless be considered as having "the least number of friends"?