BLT Theorem (Bounded Linear Extension)