a linear functional is continuous if and only its kernel is closed