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