Premise: That's basically a mathematical proposition, which I have translated into English in this column.

Hypothesis: I've reproduced the mathematical proposition in its original state.
Relation: contradiction