First off, I'm not that impudent to assume that it must be "obviously true" for the GP, so I have to review both possibilities. Second, as I already said, if it's "obviously true" then I don't see what GP's problem is, since it actually is funny.