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