Disjunction property of Wallman
 
x
OK