C and D are concyclic.