take {} T ; :: thesis: {} T is relatively-compact
thus {} T is relatively-compact ; :: thesis: verum