[QED Stepfiles]

Well, I was referring more to the part where the original poster mentioned that his friends had claimed that the proof for 1*1=1 does not exist. That claim probably comes from a mathematical perspective, since obviously, 1*1=1 holds if we define 1 linguistically... it doesn't really need mentioning.

So sure, I concede that if we were talking linguistically, there's not much to say. But I don't think that's the case, and there remains a formidable problem if we're staying in the realm of mathematics.

And plus, it's more fun this way anyways =p.