Я не уверен, что два отдельных круга не являются односвязной областью.

Из определения это вроде не следует
ОДНОСВЯЗНАЯ ОБЛАСТЬ—область (не обязательно открытая) (см.), обладающая следующим свойством: любой замкнутый контур, лежащий в области, можно непрерывным образом стянуть в точку, не покидая пределов области