Added proof of union of circles