take the topology of X ; :: thesis: ( the topology of X is open & the topology of X is quasi_prebasis )
thus ( the topology of X is open & the topology of X is quasi_prebasis ) ; :: thesis: verum