File:Weakly compact cardinal