進行定理

定理

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

証明