And if you always proceed in this way no proposition and nothing belonging outside A will ever be assumed in the proof, but the middle term will always be thickened, until they become indivisible and single.