Automatic Continuity of Linear Operators