Every open cover of a compact metric space has a finite subcover.
It is a necessary and sufficient condition for a metric space to be compact.
Baroque art features strong contrasts, while Rococo art prefers more subtle transitions
Baroque art is generally larger in scale than Rococo art