No, no, you're not thinking; you're just being logical.
Nothing is necessitated whose opposite is possible.
There is nothing without a reason.
Let us calculate.
A point is that which has no part.
The whole is greater than the part.
Things which are equal to the same thing are also equal to one another.
Things which coincide with one another are equal to one another.
Which was to be proved.