Есть два топологических пространства:

,

, а так же

- базис

,

- базис

. Причем элементы

это прямое произведение открытых интервалов, а элементы

это открытые множества(круги). Нужно доказать что данные базисы образуют одну топологию, т.е

.
Остановился на попытках представить элементы

через

, и наоборот.