レイリーの定理中古言い換え