And even if you prove it from a supposition eg if being bad is being divisible, and for things which have a contrary being their contrary is being contrary to what they are, and the good is contrary to the bad, and the indivisible to the divisible therefore being good is being indivisible.