ライス＝シャピロの定理