ω_1^CKだった
ω_1^CK×2の基本列の取り方にはけっこう意見が分かれそうな気がするんだよな・・・