kompata fu'ivla

x1 is compact in property x2 (ka)