The main difficulty in proving this is to show that κ is regular.
これを証明する時の主な難しさは κ が正則であることを示すことである。