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