for L1 being LinearFunc holds - L1 is LinearFunc