add circles proof and remove incomplete Blakers Massey