the carrier of X --> 0 is linear-Functional of X by Th23;
hence not LinearFunctionals X is empty by Def7; :: thesis: verum