定理

「正しく型付けされた項」は絶対に値であるか、評価規則によって評価を進められるものであるかのどちらかである

なので「正しく型付けされた項」は行き詰まり状態ではない

証明