Следствие Бермана из аксиомы Робертса

Что для одного ошибка, для другого - исходные данные.