[somenameforme]

If you take your assumptions as a given and end up at a contradiction, then there is a rather logical explanation.