If a fresh argument commences here, there is no vicious circle. For there was independent proof of each proposition, and so, when shown to involve one another, they were mutually confirmed.