theorem Th6: :: FDIFF_1:6

for L1, L2 being LinearFunc holds L1 (#) L2 is RestFunc-like