1 Take for T any witness to X having property P.
2 Now T witnesses property P.
Note that R2 witnesses that A is compact.
Go to List of words starting with: A B C D E F G H I J K L M N O P Q R S T U V W Y Z