:: deftheorem defines degenerated VECTSP10:def 10 :
for K being non empty ZeroStr
for V being non empty ModuleStr over K
for f being Functional of V holds
( f is degenerated iff ker f <> {(0. V)} );