take F = ZeroMap (V,V); :: thesis: F is nilpotent
F |^ 1 = F by VECTSP11:19;
hence F is nilpotent by Th13; :: thesis: verum