フーグリードの定理(のパットナムが拡張した形)は