http://www4.atwiki.jp/mathe_logic/pages/14.html
ʂ̃TCgɃWv悤ƂĂ܂BXΏL̃NNbNĂ
UPLIFTōLȂő̌܂傤IKȉ{Ct܂I