52枚のトランプを4枚ずつ13の山に分けるとする。
それぞれの山から1枚ずつカードをうまく選ぶとエースからキングまでの13枚を必ず揃えることができるを証明せよ