что все это ничто по сравнению с выводом всех логических утвреждений из топологии, нужно показать что сепарабельность и аксиом хаусдорфа хватает для вывода любых фактов, и они следуют довольно естественным образом, потому что когда мозговой поток упирается в мьютекс в дело приходит локфри