theorem Th15: :: MATRIXJ2:15

for K being doubleLoopStr
for V being non empty ModuleStr over K
for f being nilpotent Function of V,V holds
( deg f = 0 iff [#] V = {(0. V)} )