Proved relationships between traced and compact