circle all theorem