RE: Proofs using two circles