For if another term is taken as middle, the proof is not circular; for neither of the propositions assumed is the same as before; and if one of them is assumed, only one can be for if both of them are taken the same conclusion as before will result; but it must be different.